はてなブログを持っていれば、誰でも参加できます。
PicoRubyアプリケーションをSteepで型検査するためのgem, steep-picoruby をリリースしました。 github.com 問題 PicoRubyが提供するソースコードは、RBSで型定義が書かれており、Steepで型検査がされています。 一方でPicoRubyを用いたアプリケーションでSteepを使って型検査をする方法は、まだ確立されているとは言えないでしょう。 PicoRu…
StampFlyのコーディング方針・教育計画を作ったのでこちらに転記します。 基本的にはこれらの文章はClaude codeが吐き出したものをちょっとだけ修正して載せているだけです。Githubのレポジトリにも乗っているものですが、いつ頃作ったのかの記録としてブログにも残しておこうと思います。 vehicle_new コーディング方針・教育計画 Note: English version foll…
『地を知りて天を知れば、勝すなわち全うすべし』 古代中国の兵法書『孫子』（九地篇）に由来。 地形（地利）と天候（時機）という外部環境を完全に把握していれば、勝利は確実なものとなり、損害なく完璧な勝利を収められるという意味『晋の予譲、身に漆し、炭を呑むがごとし（しんのよじょう、みにうるしし、すみをのむがごとし）』 古代中国の故事成語 仇討ちのために、全身に漆を塗って皮膚をただれさせ、炭を飲んで声を潰…
もう2週間以上たってしまったけれど、先日奈良先端科学技術大学院大学の学位授与式があり、正式に博士の学位を得た。博士論文を図書館に提出した時点でほぼ確定していたとはいえ、実際に学位記をもらわないと実感がわかないものだ。 在籍期間は23年の10月から26年3月までの2年半。論文誌掲載4報,国際会議発表4件(口頭2,デモ1,ポスター1), 表彰2という業績は、フルタイムで働きながら、子育てしながらのなか…
本記事では、軽量な検索ベンチマークであるNano-BEIRを用いて、日本語に対応した埋め込みモデルの検索性能を比較します。日本語埋め込みモデルの代表的なベンチマークとしては、JMTEB v2.0 があります[1]。JMTEBにも検索タスクは含まれていますが、ベンチマークの実行に時間がかかるため、今回はより高速に評価可能なNano-BEIRを用います。 Nano-BEIRとは Nano-BEIRは、…
こんな経験ありませんか？ Claude Code にイシューを渡したら勝手にブランチを切ってコミットして PR を出してくれる。Codex が並行でテストを回してレビューコメントを書く。Gemini に設計の壁打ちをしてもらう。最近の個人開発はこんな感じで回っています。 AI がコードを書くだけだった時代はまだよかったんです。Copilot がサジェストを出して、人間が採用するかどうか判断する。作…
育休中に遊んでみたKiroの所感（Spec Driven DevelopmentによるAIコーディング） 育児休暇の期間を使って、約2か月ほどAIコーディングツール「Kiro」を触って遊んでいました。 Kiroを試す前は、ちょうど出始めたばかりのClaude codeを使っていたんですが、当時はSkillなども登場しておらず、なかなか使いこなせなくて意図とズレたコーディングに苦戦していました。そん…
こんにちは、Akihoです。 4/29-5/3の間に家族旅行でパリに滞在していたので、その間(実質5/1午後と5/2の1日半程度)に私がSeason1-4をイッキ見したNetflixのドラマ Emily in Paris (邦題: 『エミリー、パリへ行く』)の聖地巡りをしました。今回はそのブログです。(普段このブログを読んでくれている方々には微塵も需要なさそうですが....) 確かにこのドラマは賛…
Vimでは同じコマンドを複数回実行することが可能である。例えば、行削除ddコマンドの前に削除したい行数nを先に入力してからddを押すと、n行削除することが可能である。 vim キーボードマクロで連番(シーケンス) を生成する #Vim - Qiita によると、コマンドのセットを複数回実行したい場合、マクロを作成してから、そのマクロを複数回実行することも可能である。 aというマクロの作成方法は以下…
python認定基礎試験875点。pythonデータ分析試験が950点でした。（1000点満点） 今は、Python実践試験の学習をしています。 将来的には、情報処理安全確保支援士(11月)に受かります。 今作っているアプリや、 自分のキャリアチェンジなどを深掘っていけたらと思っています。 今は、SOCゲームというアプリをpythonで作っています。 またちょくちょくブログを更新できたらと思ってい…
次のページ
