RailsのページネーションPagyを実装しようとしてドはまり

August 27 13:08, 2025 Posted by tomo

人気のGemのひとつであるPagy。今までこのサイトの単語帳アプリでも実績があるので、1時間もやれば楽勝と思っていた。
昼過ぎに着手して、いま夜の9時過ぎ。モデル、コントローラ、ビュー、そして設定も見まくった。デバッグコードも貼ってログに出してみた。しかしうまくいかない。
症状は、投稿が8つあるが、3つを1ページとして区切ろうとしても分かれてくれないで、ずっと1ページとして認識されるという感…

もっと読む

Comments: Disabled

OCamlで時間を判定するロジックの課題をやってみた

August 25 13:08, 2025 Posted by tomo

課題の出典は、浅井健一先生の「プログラミングの基礎」サイエンス社より。
わりと簡潔に書けたと思うのですが、いかがでしょうか?変数の位置をあまり移動させたくないようだ(自然とこうなる)。
ブーリアンで判定させるのはけっこう好きです。

追記:
模範解答は以下のとおり。難しく考えすぎていた。

(* 目的:時間を受け取ったら午前か午後かを返す *)
(* jikan : int -…

もっと読む

Comments: Disabled

Arduino Unoの開発環境が出来た

August 24 04:08, 2025 Posted by tomo

ThinkPad T480とArduino UnoをUSBケーブルで繋いで、Windowsからデバイスのアタッチをした。その後、Linux側で認識成功。インストールしておいたArduino IDEから、サンプルプログラムをUnoにアップロードしたら、LEDの点滅速度の変更に成功。LEDは元から搭載されているやつなんだが、コントロールできたことはすごく嬉しい。これで、C++プログラミングの練習台が…

もっと読む

Comments: Disabled

ChatGPTアプリをReactで作った。というか作らせた。

August 23 14:08, 2025 Posted by tomo

当初、プロンプトを送信しても429エラーの連発。本人いわく、ブラウザにAPIキーが露出しているのが原因だと。.envでもダメなのかよ。それで、言われるがままにサーバーのexpressを導入して、フロントのReactと完全分離。それでも429エラーなので、じゃあAPIキーが期限切れではないかと。はい、それが原因でした。
ちゃんと課金したら無事にレスポンスが返却されましたよ。でも、ちゃんとサーバー…

もっと読む

Comments: Disabled

Clineを試してみる

August 22 13:08, 2025 Posted by tomo

今日、ある企業のベテランエンジニアさんから、AIコーディングエージェントのClineというのが良いとお聞きした。
これは試さないわけにはいかないということで、さっそく導入してみた。インストール方法はVS Codeの拡張のところからClineと検索して入れる。
LLMもいろいろと選べるみたいで、それぞれ得意分野があるようだ。しばらく試してみようかと思う。

https://cline.bo…

もっと読む

Comments: Disabled