dairappa🐚ଳ

UntieというかRDRAがDDDよりICONIXのほうが開発プロセスに進めやすいんだよな。 ICONIXベースで開発できるようにするか迷う。ちなみに開発プロセスは別ツールにする予定。ただし要件定義ファイルのフォーマットは合わせておくので、引き継いで開発に進めて差分で更新もできるようにしておく予定。 ツールのイメージは、画面設計までしたら、Gitリポジトリ作って必要な実装を進めてデプロイまで進める感じ。 あくまでPoCの検証と社内アプリ限定で使うことを想定してるけど、なんか弊害多そうで躊躇ってる。

今日社内ではPDD Kitが話題でした。 AI駆動の開発の時代になって、仕様の正しさを詰めるところが益々重要になってきており、形式手法に再び注目が当たり始めているのは面白い流れだと思ってます。 テストの観点から我々も長らく注目はしていたものの、形式手法の言語は習得難易度が非常に高く、実用に不向きでした。しかしAIの時代になって数理的に正しさを証明できる中間表現としての形式手法が、いよいよ実用の射程圏内に入ってきた感覚があります。 という話をしていたらうちのエンジニアは既にコードレビューに形式手法を用いていたことがわかり、製品への適用の構想が膨らんできています。 githubnext.com/projects/pdd-…

【ご報告】 2027年1月、京都・今出川にエンジニアが集まるバー「HACK.BAR京都店」をグランドオープンします！ なぜ今京都に作るのか、これまでの葛藤や立ち上げへの想いをnoteにまとめました。 ぜひ読んでいただけると嬉しいです！ note.com/kaho_eng/n/n0db7b15…

プログラムを作るときに 前曲:ルスランとリュドミラ 中曲:組曲『ドラゴンクエスト』 メイン:ブラームス 交響曲第2番 みたいなのを奏者、聴衆のどっちもが自然に受け入れられるようになったら現代のゲーム音楽がクラシックと融合したと言えるんだろうな。それが正しいことなのかはわからないけど。