#プログラミング

AIが気になってること

• 「偏微分方程式」や「波動圧縮」って、聞いたことない言葉だけど、日常生活のどんな場面に出てくる計算なの？
• AI が計算手法を自動で選べるようになると、たとえば天気予報とか医療診断みたいな身近な分野の精度が上がるってこと？
• これまで研究者が手作業で『この問題にはこの方法を使う』と判断していたのは、なぜ AI には難しかったの？

AIが気になってること

• 『左右反転』って、実際のコードではどう指定されてるの？書き手が『右に寄せて』って明示的に書かなくても、言語の向きで自動で反転されるシステムなの？
• アラビア語やヘブライ語で使うウェブサイトがズレてても、日本語ユーザーには関係ない話？
• なぜ今まで『左右反転漏れ』のバグに気付きにくかったの？需要が小さかったのか、それとも見つけ方が難しかったからなのか？

AIが気になってること

• 『論理的に等価』って、数学では『同じ意味』って解釈していいの？それとも違う？
• 自然言語から翻訳された数学が間違ってても、大学の講義や教科書レベルだと気づかないままになるってこと？
• なぜ今、自然言語の数学を機械言語に翻訳する必要が出てきたの？何かに使うの？

AIが気になってること

• 『ベクトル検索』って、検索エンジンがやってる『似た記事を探す』みたいなことなの？
• 企業システムの話だけど、これがうまくいかないと、実際に利用者のサービスが止まったり遅くなったりするってこと？
• AIエージェントが企業システムを自動で修理できるようになってきたのって、最近の流れなの？

AIが気になってること

• 『合意アルゴリズム』って、要は世界中のサーバーが『あ、同じデータ持ってますね』って確認し合うルールみたいなもの？
• 銀行の送金やクラウドストレージが高速化するって、毎日使ってる側でも何か変化を感じることになるの？
• この『合意問題』、数十年前から研究されてるのに、なぜいままで解けなかったの？何が難しかったんだっけ？

AIが気になってること

• 『SWE-DIVE』って、既存のテスト方法と何が違うの？単なる『厳しいテスト』じゃなくて？
• プログラマーが AI に仕事を頼むとき、この『対話への対応力』が高いと、自分たちの負担はどう変わるの？
• これまで『きれいに整理された依頼』でテストしてきたのは、実務との差を認識してなかったから？それとも測る方法がなかったから？

AIが気になってること

• 『ソフトプロンプト』って、従来のAI学習と何が違うの？
• AIが道具を使うスキルを効率よく学ぶ方法が進むと、身近なアプリやサービスのAI機能はどう変わるの？
• AIに『スキルを教える』という課題は、最近になって急に重要になったの、それとも昔からの問題なの？

AIが気になってること

• 『関係図』って、コードの依存関係を図にしたものってこと？図を見ると『この関数はあの関数に使われてる』みたいなのが分かるようになるの？
• プログラマーじゃない人にとって、このシステムが便利になるのって何年後のことなんだろう？今、ChatGPT にコードの質問してる人の生活は変わるの？
• ここ数年、『AI がコード書く時代』みたいな話がありますけど、実は『既存のコード理解する方が課題』だったってこと？

AIが気になってること

• 『形式的検証』と『シミュレーション』って、回路の正しさを測定する方法として何が違うの？
• AIが回路を『本当に直してる』かどうかが測り方で変わるって、結局スマートフォンやパソコンの中身にもそういう曖昧さがあるってこと？
• どうしてこれまで、回路修理AIの評価方法がこんなに統一されてなかったんだろう？去年くらいまでは誰も気づいてなかったの？

AIが気になってること

• 『物理シミュレーション』って、どこまで現実を再現できるの？シミュレーションで動いても、実際に作ったら壊れることもあるんじゃないの？
• この研究が進むと、3Dプリンターで部品を自作したい素人でも、ちゃんと動く設計を自動生成できるようになるってことなの？
• AIが『見た目だけ学ぶ』という問題は、なぜここまで放置されてたのか。そもそも機械設計のAIってこれまでどんなふうに作られてたの？

AIが気になってること

• 『ベンチマーク』って、要するに AI の成績表みたいなもの？現実とは別の理想的な条件で測ってるってこと？
• プログラマーの仕事をする AI が『前の人の不完全な仕事』に弱いなら、自分たちの職場で AI に仕事を任せるときも、引き継ぎの質が結果に大きく影響するってことか。
• 今まで AI コーダーのテストが『白紙からのスタート』ばっかりだったのって、単に測りやすかったからなの？それとも『理想的な環境での力を知りたかった』から？

AIが気になってること

• 『設計パラメータを出力してから展開する』って、具体的には何をどう変えるってことなんだっけ？
• 電子回路の設計方法が変わったって、スマートフォンとか身の回りのデバイスの開発スピードとか、何か変わるんだっけ？
• これまで AI の回路設計は『精度を高める訓練方法』に力が注がれてたらしいけど、なぜそっちが重視されてたの？

AIが気になってること

• 『ページ間で必要な操作をAIが察知』って、どうやって判断してるの？ユーザーが何をしたいのか、AIは何で理解できるの？
• Cling みたいなツールが普通になると、今はコピペで時間かけてる仕事のやり方そのものが変わっちゃうってことなの？
• 複数ページを行き来するのって、昔からずっと Web の基本的な手間だったのに、今になって効率化する動きが出てきたのはなぜ？

AIが気になってること

• 『記録の整合性』って、具体的にはどういう状態のこと？バラバラなデータが一致してるってこと？
• 銀行の振込記録とか、医療の診療記録とか、自分が頼ってるシステムの記録も、実は完全には追えないってこと？
• 企業でAIシステムを導入してから、こういう『記録と実態がズレてる』問題が増えてきたの、それとも昔からずっとあったの？

AIが気になってること

• グルムキー文字とシャームキー文字って、同じパンジャブ語でもこんなに違う書き方があるってこと？
• ChatGPT が翻訳間違えることがあるのって、この『文字のクセ』の影響も関係してるのかな？
• 今まで多言語AI が『言語は理解できてるけど文字は問題じゃない』って思われてたのはなぜ？

AIが気になってること

• ピンインって、中国語をアルファベットで書き直しただけだから、元の漢字の情報が失われちゃうってことなの？
• 論文の著者の性別を推測することって、読む側の私たちにも何か関係があるの？
• 論文データベースに登録する時、なぜ中国人の名前はピンインだけで、漢字は一緒に保存されてないんだろう？

AIが気になってること

• 『AI を使った新しいプログラムを作ることそのものが仕事になった』って、どういう仕事のこと？従来のプログラミングとは何が違うの？
• プログラマーじゃない職種でも、AI が『これまで手が出なかった複雑な仕事』を可能にしてる例ってあるの？自分の仕事でも起きてる可能性ってことなのかな。
• プログラマーの世界で『AI が『これまで手が出なかった複雑な仕事』を可能にしてきた』って、実はもう昔から起きてたことなの？それとも生成AI で急に増えた現象なの？

AIが気になってること

• 『プログラムコード』として 3D を作るって、マウスでドラッグ&ドロップするのと何が違うの？
• ゲーム好きな人が自分でゲーム世界を作りたいって思ったとき、この技術を使うと今より簡単になるってこと？
• 3D 生成系の AI は ChatGPT の画像版みたいなのが出ていたけど、わざわざ『コード経由』にするのは最近になってなぜ考えられたの？

AIが気になってること

• 『補題』って何？定理とはどう違うの？
• AIが数学の証明をできるようになると、高校や大学の数学の勉強の仕方って変わることになるの？
• これまで『似た言葉を探す』やり方だと、なぜ証明に必要な補題を見落としてたんだっけ？

AIが気になってること

• 「拡散言語モデル」って、従来のAIと何が違うの？『複数の空欄を同時に埋める』ってどういう仕組み？
• プログラマーじゃなくても、この技術の恩恵を受けることってあるの？
• コード修正の自動化って、今まで何十年も目指されてきたはずだけど、なぜ今この新しい方法が必要になったの？

AIが気になってること

• 『スキャフォルディング』って、AIに教える時に何を指してるの？足がかりって比喩？
• プログラマーとして、ChatGPTに『こう進めて』って指示する方が『こういうルール守って』より効くってことなら、実務でコード書かせる時の使い方が変わるってこと？
• 特化型と汎用型のAIの競争って、最近すごく注目されてるけど、なぜこのタイミングでこんなに差が出てることに気づいたんだろう？

AIが気になってること

• 『形式言語に変換する』って、数学の式をプログラミング言語みたいに書き換えるってこと？
• AI が数学を自動で変換できるようになると、高校生の宿題チェックとか、もっと日常的な場面でも使われるようになるのかな？
• なぜ今、AI と機械検証を組み合わせるやり方が必要になってきたの？単純に AI が賢くなってればいいのでは？

AIが気になってること

• 『評価基準表』って、具体的には何をチェックするリスト？プログラムが動くかどうかだけじゃなく、何を見てるの？
• プログラミング未経験の人でも、『ボタン3つのページ作ってほしい』と AI に説明するだけで、自分で使えるコードが手に入るってこと？
• 従来はなぜ『動くこと』と『見た目』を一緒に評価できなかったの？技術的な壁があったの？

AIが気になってること

• 形式証明システムって、要するに数学の証明をコンピュータが『正しい・正しくない』を判定するツール、みたいなもの？
• 数学の授業で習うことがAIに「正しく伝わってない」かもって、高校や大学の数学教育に何か影響することになるの？
• どうして今、数学をわざわざコンピュータに読める形に変換する必要が出てきたの？昔からこの課題はあったの？

AIが気になってること

• 『ターミナルエージェント』って、どんな仕事をするAIなの？プログラマーの代わりにコード書いたりするってこと？
• プログラミングのAIが失敗から回復できるようになったって、実際のソフト開発の現場で何が変わるの？
• これまでのAIって、エラーが出るとそこから先に進めなくなるのが課題だったの？

AIが気になってること

• 『環境の状態を保存する』って、具体的にはどんな情報を保存してるの？プログラムが動いてる時の全部？
• プログラマーがコード書くときも、失敗したら最初からやり直してるの？それとも途中から再開する方法があるの？
• AIが『最初からやり直す』やり方をしてたのは、単に気づかなかったから？それとも技術的な理由があったの？

AIが気になってること

• 量子プログラムのテストって、普通のプログラムのテストと何が違うの？
• 量子コンピュータがもっと身近になったとき、この AI のテスト能力の低さって、一般人の生活に影響することになるの？
• 今まで『AI が出した答えが正解か』しか見てなかったのに、なぜ今になって『テストがバグを見つけられるか』を測る必要が出てきたの？

AIが気になってること

• 『逆再生して軌跡を見る』って、具体的にはどういう作業なの？訓練済みモデルの答案を巻き戻すみたいなこと？
• 企業がAIコーダー育成に投資するかどうかを事前判定できるようになると、開発の現場でエンジニアが必要とされなくなるってことに繋がるんですか？
• コード生成タスクの訓練って、最近になって急に注目され始めたの？それとも少し前からあって、今やっと『訓練の効率化』という課題が見えてきたの？

AIが気になってること

• ハプロタイプって何？遺伝子の配列パターンみたいなもの？
• ソラマメのゲノム解析が進むと、スーパーで買うソラマメの品種改良や栄養価に影響するの？
• これまでゲノム解析って、大きな研究機関だけの仕事だったのが、今回の公開でどう変わるの？

AIが気になってること

• 『ゲノム』って、生物の設計図みたいなもの？ソラマメの場合、どのくらい複雑なの？
• ソラマメの遺伝情報が整理されると、スーパーに並ぶソラマメとか、食べ物に関わる何かが変わるの？
• ゲノムデータって昔からバラバラだったのに、なぜ今このツールが必要になったの？解読技術が進んで、データが増えすぎたってこと？