大規模言語モデル講座2025（東京大学松尾・岩澤研究室）を受講し始めた。同僚のこの分野に詳しいエンジニアからおすすめされ、ちょうどLLMを活用したアプリケーション開発に取り組んでいるので受講することに決めた。講義は基礎編・応用編の前後編に分かれて…

個人で契約している Claude Code やCodex を使えるのに使わないのはもったいないので、いろいろ作ってみている。 ブラウザの拡張機能でテキストを読み上げるものを入れているが、言語やモデルの切り替えがスムーズにできず使い勝手が悪かった。そこで使いや…

ほとんどの場合、人間は複数のタスクがあっても結局のところ一つずつタスクに取り組むしかない。眼の前のことを片付けて、次のことをする。それがこれまでのソフトウェア開発の仕事に対する認識だった。 一方でAIコーディングエージェントを使えば複数のタス…

PRを更新するカスタムスラッシュコマンド Custom Commandという機能がある。あらかじめ作っておいた指示をコマンドで呼び出せる機能だ。 Slash commands - Claude Docs Claude Code でカスタムスラッシュコマンドを作成する ghコマンドを使うと CLIでPRのタ…

『はじめての数理論理学』という本を読み始めた。 図書館で数理論理学の書籍を探していくつか手に取ってみたけど、この本がとっつきやすそうだった。命題論理から始まり、証明法へ続き、後ろの方では意味論、健全性、完全性という言葉が並んでいるのも見えた…

この１ヶ月くらい、生成AIのコーディングエージェントを活用したwebアプリケーションの開発をしてきたけど、AIを使うからどうこうという学びは少なかったかも。 むしろAI使わない時代の開発で重要だったものは、たいてい重要なままというのに気が付かされる…

vscode に git worktree の統合機能が実装された。 バイブコーディングで複数の変更を同時進行するときに使うと便利。 code.visualstudio.com git worktree を使ってみた感想 claude code などのコーディングエージェント、意外と時間がかかる。待ってる間、…

バイブコーディングでWebサービスのプロトタイピングみたいなことに先週取り組んだのでその知見。 一番見せたい画面を作る 一番見せたい画面をつくる。魅力的な、使いたくなるようなコア機能がわかる画面を作る。他の機能や画面は削る。 早く人に見せて、フ…

15インチのモバイルディスプレイを購入した。 これでデスクトップのディスプレイが3枚構成に。 AIエージェントにコーディングさせるのが捗る。 正面がDELLの27インチ4Kディスプレイ、右側がMacBook Pro、左側に今回購入したモバイルディスプレイ。 いいとこ…

チーム内で２日間の開発合宿をしている。金曜日に１日目を行い、月曜日に２日目を行う。 開発合宿は普段の仕事とは進め方が違うところが多くて面白い。 まず何をやるのかを決める必要がある。決め方には色々あると思うけど、今回は以下のような手順で決めた…

値オブジェクト(DDD用語) DDD用語でエンティティと値オブジェクトというのがあって、 エンティティ: 永続的なアイデンティティ(識別子)を持つオブジェクトを 値オブジェクト: アイデンティティを持たないオブジェクト という。 TSでこんな感じの型を作り、値…

背景 いま仕事で触っているwebアプリケーションではPerlからTypeScriptへ漸進的に移行している。今後、サーバーサイドはTypeScriptで書く事が多くなりそう。１から新しいプロジェクトを始めるにしても、TSが有力候補になりそう。 せっかくTSというモダンな静…

関数型まつりというイベントに参加して、いろんな発表を聞いてきた。場所は中野。中野セントラルパークという公園のそばで、公園は広くてきれいでいい場所だった。小雨がパラパラと降っていたときもあるが、激しい雨はふらなかった。天気がよかったら公園で…

先月が誕生月だったで、最近の自分についてなんか書く。 仕事で開発しているもの 小説投稿サイトのwebサービス、スマートフォンアプリの開発。変化なし。 よく使うプログラミング言語 バックエンドのTypeScriptがメインになりつつある。Perlもまだ書く事が多…

以下の文章がWebサービスのようなシステムの理解と、不具合解決の考え方にそのまま当てはまる例えになっていて、印象に残っている。 たとえば、初めて訪れた大きな教室において、壁にあるスイッチと照明の関係を把握したい状況を考えてみましょう。(...)壁に…

Astroという静的webサイト作成のフレームワークを使ってポートフォリオ兼遊び場のwebサイトを構築した。使い勝手がよく、学習コストも高くないツールなのでおすすめです。 https://nakaokat.net Astro の好きなところ ReactなどのUIライブラリを使う必要がな…

1 モバイルアプリにおけるデータ通信量の削減の重要性 インターネットを使ってコンテンツを配信するアプリ(Web, Android, iOS)の開発をしてますが、データの通信量というのがユーザー体験に影響するというのは経験的に知っていても、なかなか迅速に改善でき…