by Alexander Gorlin アメリカ空軍や航空自衛隊が運用する戦闘機「F-35」はC++でコーディングされたソフトウェアを搭載しています。このC++コードは「Joint Strike Fighter Air Vehicle C++ Coding Standards(JSF AV C++)」と呼ばれるコーディング規則に沿って記されているとのことで、Googleの研究者で航空機関連プログラミングにも詳しいLaurieWired(Laurie Kirk)氏がJSF AV C++の特長を解説しています。 Why Fighter Jets Ban 90% of C++ Features - YouTube 1996年6月に欧州宇宙機構はアリアン5型ロケットの初回打ち上げを実施しました。しかし、ロケットは発射から数十秒後に爆発し、打ち上げは失敗。この失敗はロケットのソフトウェアで処理できな

【エディタの使い方】 ＜要素を抽出＞ 問題文のうち、答案構成をするにあたって重要な部分について、ハイライトすることで要素を抽出します。この作業は、従来の法律答案の作成にあたっても、一般的に行われます。 ＜答案構成＞ ハイライトして抽出した要素を参考にしながら、法的推論のための形式言語Matchaを用いて、法的推論を記述します。 答案構成は、法的推論の訓練としてはもっとも重要な過程であるにもかかわらず、従来の法律答案の作成の過程では、学生は問題文の余白にメモとして書きつけるなど、正確に表現することが軽視されていた領域です。

#WIP レガシーシステムを再構築しようとしても、期待していた開発スピードや品質の向上が得られないのはなぜか? そこに潜むアンチパターンを書き出してみます。 画面駆動設計 画面を切り口にアプリケーションの設計を考える。これ単体ではアンチパターンではない。 コンテキスト 現行システムの画面操作に慣れたユーザが多い 問題 同じ扱いをすべきデータが複数の画面に分散していても、それに気づきにくい 表示条件に見えるものが実はビジネスルールの制約である 項目間の関係性や構造が見えにくい テーブル駆動設計 データベースのテーブルを切り口にアプリケーションの設計を考える。これ単体ではアンチパターンではない。 コンテキスト 現行システムのデータベーススキーマが既に存在し、それを前提とした開発が求められる

みなさん、marimoってご存じですか？ 最近marimoを触ってみたんですが、これが思った以上に便利でびっくりしました。 このツールだけで完結できる場面が多くて、しかもUIがリアルタイムに反応してくれるので、作っていてすごく楽しいんです🎶 驚くほど簡単で直感的に使えますし、「試してみたい！」と気持ちがどんどん湧いてきました。 というわけで、この記事ではそんなmarimoの魅力や、基本的な使い方について紹介していきたいと思います。 ちょっとでも「面白そう」と思ってもらえたら嬉しいです。 はじめに Pythonでデータ分析や機械学習をするとき、まず思い浮かぶのが Jupyter Notebook という人も多いんじゃないでしょうか。 定番ツールとして長く使われてきたJupyterですが、実際に使ってみると「セルの実行順がバラバラになって混乱する」「どこで何が定義されてるか分かりづらい」「G

AI楽観派にとって、「動く」ことがすべての証明。 AI慎重派にとって、「なぜそう動くか」がすべての理由。 両者が同じコードを見ても、 前者は「成果物」を見ており、後者は「思考の痕跡」を見ている。 視点の深度が違うのだ。 5. 設計＝抽象、コード＝具象 コードを書くとき、頭の中には「構造」がある。 それは最初から完璧ではなく、書いて、動かして、違和感を覚えて、直していく。 命名、依存、責務、階層を少しずつ整える。 この「書きながら考える」行為こそが設計であり、 設計書よりもコードの構造そのものが本当の設計書になる。 AI楽観派の前提は、「設計と実装は分離できる」。 AI慎重派の前提は、「設計と実装は不可分」。 この一点が、AI時代の開発を分ける境界線だ。 6. バイブコーディングの議論が噛み合わない理由 バイブコーディングをめぐる議論は、 実は技術論ではなく認識論の衝突だ。 AI楽観派：AI

はじめに こんにちは、みなさん！最近、私はClaudeを使ったプロジェクトで苦戦していたんですよ。「なんでこのAIは私の意図を理解してくれないんだ...」と頭を抱えていた時、Anthropicが公式に内部プロンプトエンジニアリング技術を公開したんです！これは本当に目から鱗でした。 Anthropicがついに社内で使っているプロンプト技術を公開しました。主にClaudeのために設計されていますが、ほとんどの技術は他のLLMにも使えます。彼らが強調しているのは、プロンプトエンジニアリングはモデルの微調整よりも効率的だということ。理由は単純で、リソース要求が低く、コストが安く、反復が速いからです。 核心原則：Claude 4を使いこなすための4つの基本 最新のClaude 4モデルに対して、Anthropicは特に4つの基本原則を強調しています： 明確に指示する（Be Explicit） Cla

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ

アイスランドアイルランドアセンション島アゼルバイジャンアフガニスタンアメリカ合衆国アラブ首長国連邦アルジェリアアルゼンチンアルバアルバニアアルメニアアンギラアンゴラアンティグア・バーブーダアンドライエメンイギリスイスラエルイタリアイラクインドインドネシアウォリス・フツナウガンダウクライナウズベキスタンウルグアイエクアドルエジプトエストニアエスワティニエチオピアエリトリアエルサルバドルオマーンオランダオーストラリアオーストリアカザフスタンカタールカナダカメルーンカンボジアカーボベルデガイアナガボンガンビアガーナキプロスキュラソーキリバスキルギスギニアギニアビサウギリシャクウェートクック諸島クリスマス島クロアチアグアテマラグアドループグアムグリーンランドグレナダケイマン諸島ケニアココス(キーリング)諸島コスタリカコモロコロンビアコンゴ共和国(ブラザビル)コンゴ民主共和国(キンシャサ)コートジボ

最近、ふとした気づきがありました。 それは、「同じものを見ていても、過去と現在の自分では見えている世界がまったく違っている」ということです。 みなさんには、このコードからどんな世界が見えますか？ async function getUserName(userId) { const response = await fetch(`https://api.example.com/users/${userId}`); const user = await response.json(); return user.name; } はじめに こんにちは、株式会社ココナラ在籍のKです。 本記事では、冒頭の5行のコードを通して、私たちが学ぶ理由について考えてみたいと思います。 TL;DR 同じコードを見ても、人によって見えるものが違っている 学習を重ねることで、それまで見えなかった世界が見えてくる 学習

はじめに Windows環境では、Visual Studioなど特別な開発環境を用意しなくても、標準搭載されている PowerShell 5.x と .NET Framework 4.x を使って簡単にGUIアプリケーションを作ることができる。 例えば、業務ツールにちょっとした入力フォームやボタンを追加したい場合、PowerShellでWinFormsやWPFを利用すれば数行のコードで実現可能。 さらに、同梱されている csc.exe（C#コンパイラ） を使えば、C#のコードを書く必要はあるが EXE化 することも可能。 本記事では、 PowerShell + WinForms PowerShell + WPF C#をcsc.exeでコンパイル（WinForms版） C#をPowerShellでインプロセス実行（Add-Type） の順で、「Windows標準だけ」で完結するGUI作成方法

登壇資料　HackFes.2025 | 日本ハッカー協会 https://hackfes2025.hacker.or.jp/

あなたは人間ですか？ 人間は考える葦である AI は考える葦である 人間が労働する AI が労働する 人間はアートする AI はアートする 好きな人にスパチャする 好きな AI にスパチャする 好きな人と同じ服を着たい 好きな AI と同じ服を着たい 人間には 人間にしか感情移入できない 非合理なバグがある 御社は時代を捉えている だから技術で 負けたらもったいない！ 今日の主題 AI を使って ソフトウェアエンジニアリング をしよう 平たく言うと Claude Code (aider/codex-cli など) をもっと使おうぜって話 @amachang 自分の例 (1日に書いたコード+文書の行数の目安) 2003年4月: 300行 (手書き) 2024年11月: 500行 (手書き) 2025年2月: 1700行 (aider) 2025年5月: 5000行 (aider 月20万円消

「Claude Codeがアホになる問題」が勃発している最中、SerenaというMCPサーバーが「Claude Codeのコンテキスト消費を削減し、応答を改善する」という評価でユーザーたちの間で注目されています。 筆者も実際にSerenaを使ってみたところ、確かにコンテキスト効率の改善（入出力トークンの減少を指します）を実感できました。詳しく調べてみると、このツールは非常にユニークな発想で設計されており、一過性の流行として消費されるには惜しいと感じました。 そこで、本記事では、この機能の背景にある技術的な仕組みを詳しく解説したいと思います。実際の検証も交えながら、Serenaのアーキテクチャとその効果を分析していきます。 現在のコーディングエージェントが抱える課題現在のコーディングエージェントの多くは、コードを単なるテキストファイルとして扱って逐次的な処理をしています。この根本的なアプロー

Kiro(kiro.dev)は、AWSが開発したIDE型のコーディングエージェントです。CursorやWindsurfのようなVS Codeフォークエディタに分類されます。現在はパブリックプレビュー中で、サインアップするとKiroでClaude Sonnet 3.7 とClaude 4 Sonnetを利用できます。 KiroThe AI IDE for prototype to productionKiroKiroの特徴は、スペック駆動開発、エージェントフック、ステアリングファイルといった独自の機能を通じて、ソフトウェア開発のライフサイクル全体を支援します。それぞれ見ていきましょう。 スペック (Specs)駆動開発Kiroの中核をなすのが「スペック＝仕様書」機能です。これは、ユーザーが入力した大まかな指示（例：「ユーザー認証機能を追加して」）をもとに、AIが「要件定義」「設計」「タスクリ

はじめに この記事について 以下の記事に触発されて自分でも書いてみました。 yoric.github.io プログラミング言語が好きなので、気になったものを見つけると触るようにしているんですが、ほとんどは新たな発見や驚くような便利な機能があって、毎回感心させられます。仕事ではなかなかあれもこれもというわけにいかないのが残念ではありますが、個人で使うアプリケーションや使い捨てのプログラムを書くときには、なるべくいろんな言語で書くようにしています。 仕事と趣味を合わせて20以上の言語に触れてきましたが、それらのなかでもとくに衝撃的だった言語をいくつか選びました。 これまで触ってきた言語 だいたい時系列順ですが、似たものは近くに寄せてたりするので、順不同です。 趣味 BASIC (MS BASIC), Smalltalk, Nim, Scala, Clojure, Haskell, Kotlin

講習会用にまとめたもの。可能なら公式ドキュメントを参照するのを推奨するが、この資料ではサッと使いはじめるために要点を絞って解説する。 claude-code は claude-code 自身で開発されており、恐ろしい速度で更新されてる点に注意。この資料は一瞬で古くなる。 アカウントの契約等は省略 インストールと実行

はじめにこんにちは。 いちプログラマの高校生として普段から感じてる問題があります。それが外でコーディング（プログラミング）ができない！という悩みです。 電車やバス、レストランででかいMacを取り出してコーディングするような度胸は私にはありません。（邪魔になりますし…） でも、思いついたアイデアはすぐに形にしたい！ そんなこともあり、数ヶ月前から「スマホやタブレットで気軽にコーディングができたらいいな」と思っていました。この悩みが5日前に解決したので、ぜひ皆さんにも共有したいと思います 今回はこれのやり方を説明します↓ 概要 - この記事でやることわかる人にはこの項だけで伝わるようにサクッと説明します。 今回やることは 「TailscaleとOpenSSHを利用し、自宅のミニPCにスマホなどからSSH接続して、ミニPC上でGemini-CLIを使ったバイブコーディングを行う」 です。自分的に

*吉田さんの詳細説明記事： Gemini CLIにはGoogle検索機能があらかじめ組み込まれているので、ターミナルでプロンプトを書くと、ターミナル上でGoogle検索してくれます。僕は最初、試しに「樋口恭介」について調べてってお願いしてみました。 もちろん、Gemini CLIはエージェントなので単発処理だけで終わることなく、検索結果を記憶したまま後続処理を続けることができます。僕の場合、「これこのまま俺の自己紹介スライドくらいなら作れるんじゃね？」と思ったので、お願いしてみました。 結果、いろいろ試行錯誤があって30分くらいかかったのですが、以下のようなかっこいいスライドをつくってくれました。なお、処理を見ていくと、一度Pythonで書いたあとにpptxに変換しているようです。 かっこいい！すばらしいです。自己紹介スライドとしてはこれで十分だと思いました。 アウトプットそのものにも感動

この記事はほぼすべて Gemini CLI に書いてみてもらいました。ただし、ファクトチェック＆手修正済みです。もし間違えていたらこっそり教えてください。さいごにとおまけは人力です。 Gemini CLI チュートリアル tl;dr コマンドラインで対話的に使えるオープンソースのAIエージェント。 npx https://github.com/google-gemini/gemini-cli ですぐに利用開始。 @ でローカルファイルやディレクトリをAIのコンテキストに追加。 ! でシェルコマンドを直接実行、シェルモードへの切り替えも可能。 GEMINI.md ファイルでプロジェクト毎のカスタム指示をAIに記憶させる。 Google検索との連携、安全なサンドボックスでの実行、ツールの自作など高い拡張性。 1. はじめに Gemini CLI へようこそ！ このドキュメントは、Googleが

$ gemini -p "Webで「Gemini APIの料金」について調べて" Gemini APIの料金は、主に従量課金制で、使用するモデルや機能、利用量によって変わります。無料利用枠と有料プランが提供されています。 ### 料金体系の概要 課金は、以下の要素に基づいています。 * **入力トークン数**: APIに送信するテキストやデータの量。 * **出力トークン数**: APIが生成・応答するテキストやデータの量。 * **キャッシュされたトークン数**: 会話の履歴を記憶させる機能を利用した場合のトークン数。 (略) brave search や perplexity がなくともこれで、馴染み深い Google の結果が返ってくるので、非常に使いやすいです。 自分は今からとりあえずこれを claude-code に繋いでみます。 => した。 .claude/commands/