各技術系メディアでは既に報じられていますが、今年のAAAI*1で会長名によってリリースされた"AAAI 2025 Presidential Panel on The Future of AI Research"の内容が非常に示唆に富んでいたので、改めてやや仔細に読み解いてみようかと思います。 なお、元のレポートは結構なボリュームがありいきなり精読しようとするとしんどいので、NotebookLMにまとめさせたサマリーと論点に対応した原文の箇所を適宜読み返して自分で補いながら*2、つらつらと論じていくこととします。ということで、hallucinationsなどあればご遠慮なくご指摘くだされば幸いです。 レポートの全体構成について（特にAI研究者へのアンケート） 個人的に注目した論点 現在のAIの延長上にAGIは実現しない(76%) LLMの事実性・信頼性の問題はすぐには解決できない(60%)

今日書きたいことは、以下のような内容です。 ・昔会社の上司に、「何かを提案する時は、「○○したい」という主観的な希望の形でも表現できようにしておけ」「特に希望がなくてもある振りをしろ」と言われました ・仕事の上で、客観的に、冷静な意見を表明することはとても大事です ・ですが、時には「私は○○したい」という、主観的な希望の形で表現するのが有効な場合もあります ・何故かというと、「この人は自分ごととして語っている」という受け取り方でプラス加点をする人がいるから、またそれによって相手の希望も引き出しやすくなるからだと思っています ・仕事上で「どうしたい」「どうなりたい」というのを適切に言語化出来る人は稀です ・ここには、「仕事上で「自分の希望」なんてもってない方が普通」という話と、「仕事に限らず「希望」を言語化することが苦手な人も多い」という二つの要因があると思います ・単純に「○○という選択肢

SWET第二グループのKuniwakです。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 伝えたいこと 画面表示と画面遷移を記述する仕様書は機械可読にできる 仕様書が機械可読であれば仕様の静的検査ができる 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 機械可読な仕様書にはさらなる応用が見込める おさらい：仕様とは 仕様の定義はいくつかあります。 ここでは仕様とは実装の正しい振る舞いを定める基準とします。 ある実装が正しいと判定されることを、実装が仕様を満たしたといいます。 誰による判定でも実装が仕様を満たしたかどうかの判定結果は一致すべきです。 さて実装の欠陥と同様に、仕様にも欠陥が生じえます。 本来正しいと意図した実装の振る舞いを誤っていると判断したり、その逆に誤っていると意図した実装を正しいと判断する仕様には欠陥があ

みとう学習塾 @mitohjuku 中2生たちが「マイナス掛けるマイナスがプラスになるの、マジわからん」「それな」と言っていたので、定番の説明。 pic.x.com/LwiTWiKxwl 2025-04-08 22:34:06 みとう学習塾 @mitohjuku 長野県岡谷市にて2020年4月開校。塾長(夫)教室長(妻)の個人塾。毎日自習大歓迎♪ 一人ではつらい勉強を、先生や仲間と一緒に乗り越えていきましょう！ 塾や勉強のこと、個人的な呟きなど書いています。SNSは妻担当。〒394-0083岡谷市長地柴宮1-2-5 0266-78-8506 info@mitohjuku.com mitohjuku.com

IPUSIRON @ipusiron 『人が壊れるマネジメント　プロジェクトを始める前に知っておきたいアンチパターン 50』の見本誌をご恵贈いただきました。ありがとうございます。 プロジェクト失敗による最大のデメリットは「人を壊す」こと。 パラパラ見たところ「失敗あるある」回避術が満載。読むのが楽しみです😀 amzn.to/3DQZzF8 #ad 2025-03-19 11:58:59

今回は「南海トラフ巨大地震」です。 実際の放送物ではありません。 緊急地震速報などの音が複数回なりますので、誤解を招かないよう周りに十分注意してください。 南海トラフ地震は、発生過程等に多様性があります。次の南海トラフ地震が、今回シミュレーションした最大クラスの地震とは限りません。 地震の規模や状況などにより、地震や津波の発生状況・情報・伝え方は大きく変わります。このシミュレーションはあくまで一例に過ぎません。 実際に地震が発生した際は、気象庁等からの情報に留意してください。 このシミュレーションでは、本震の後に南海トラフ地震の想定震源域の外で複数の地震が発生するシナリオとなっています。これは想定震源域外でも地震が相次ぐ可能性について示すことが目的であり、地震発生の場所はランダムに抽出しました。特定の場所で地震が必ず発生することを示しているわけではありません。 このシミュレーショ

私も頑張ったけど、彼氏もすごくがんばった。 これでどこに出しても恥ずかしくない(ゴムにしか出させないが)、ちゃんと「女の子と付き合える人」になったと思う。 彼氏はセックスがド下手だった。 ちゃんと見た目を気に出来るくらいの感覚はあって、お互いの言いたいことを変にこじれずに言い合えるくらいのコミュニケーション能力もあって、ちゃんと働いてもいる。 これだけで、今の時代なかなか望めないくらいの良彼氏だとは思う。 ただ、セックスだけは致命的に下手だった。 彼氏の何がいけないって、まずなによりも、セックスを数学と同じように考えていることだった。 つまり、「女性にはそれぞれ気持ちいいポイントがある」「気持ちいいことを積み上げていくとその内女性は絶頂する」「絶頂すると女性は満足する」というような考え方をしていたのだ。 ひとことでいっちゃうと、「セックスには客観的な正解があって、その正解を探せばよい」と考

有村　壮央 | ㍿カチアリ 代表取締役 @mori729 価値あるブランドをつくり、外食業界を発展させる。株式会社焼肉ライク元社長。株式会社アントレスト創業者。 展開を考えている外食経営者向けの #カチアリ飲食経営塾 を開催。 kachiari.jp/lp/juku/ 有村　壮央 | ㍿カチアリ 代表取締役 @mori729 私が潰した飲食店シリーズ① 赤字額★★★★ 神楽坂に出した野菜食堂sakurasaku。 同ビルで繁盛店を経営していた私は1つ上のフロアのイタリアンの居抜きがでて即座に申込。 500本は入るであろうワインセラー。 そこで私が考えたのはワインセラー内のワイン1980円で飲み放題、そしてこだわり野菜を出したら女性にウケるのではないかと出店。 ふたを開けてみたら飲みつぶれた女性がトイレからでてこず、店前で倒れる方続出。 思い入れのない野菜もささらず。やはり肉食べたいよな、や

この数日でバズっていた一連の記事を読んで自分も試してみることにした。 【発端】音声入力とAIの組み合わせが強力だという骨しゃぶり氏の記事 https://honeshabri.hatenablog.com/entry/talk2ai 【音声入力】SuperWhisperが良いよというお話 https://umiyosh.hatenablog.com/entry/2025/02/26/215102 【テキストエディター】Cursorはコード書くだけじゃなく、AIを使った文章作成にもいいよというお話 https://ascii.jp/elem/000/004/253/4253872/ 結論から言うと骨しゃぶり氏の言ってることがよくわかった。めっちゃ便利というかちょっとしたイノベーション感じてる。 音声入力自体は以前にも試したことあるけど、そこから先が人力編集なのと、間にAIをかますのとではまっ

ごとう隼平💬マンガスクリプトDr. @goto_junpei ▼マンガのストーリーを研究する人 ▼元漫画家／東京ネームタンク代表／コルクスタジオ編集長／京都芸術大学准教授 ▼10年間に渡り小学館サンデー編集部に通い出版社のノウハウを学び、同時にストーリー構造を研究。代表作は『銀塩少年』(全4巻) ▼マンガ文法を広め、楽しくマンガを作り届けられる世界を目指しています！ youtube.com/channel/UCqI2f…

私がまだ駆け出しのコンサルタントだったころ、様々な会社に訪れたが、その中で一つ、思い出深いものがある。 おそらく、製造業の会社だったと思うが、ある説明会でのこと。 それは、10分から15分程度の短いもので、プロジェクトの意義を、メンバーの一人が、社内向け説明するものだった。 ただ、お世辞にも上手な説明ではなかった。 資料も、プレゼンテーションも、よく練られていたわけではなかった。 そして、同じことを思ったであろう、参加者の一人が、こんなことを言った。 「説明がわかりにくいんですけど」 ちょっと失礼な感じではあったが、当然の指摘でもある。 ところが、そこにいた役員が、「分かりにくいんですけど」と言った人に対して、こう言ったのだ。 「その言い方は良くない」と。 そしてこういった。 「説明はもっと練習すべきだし、わかりにくいという点にも同意する。しかし指摘のしかたも良くない。「ここがわかりにくい

私は車輪の再発明が大好きです。 人が作った技術について、どういう風に作られているかとか興味ないですか？ エンジニアの世界でよく「車輪の再発明はするな。巨人の肩に乗れ！」と言われます。それは確かに、プロダクトを早く作り上げるには重要な考え方です。既存の技術を活用することで、効率よく目標に到達できます。 しかし、もし車輪の構造をよく知らないまま乗り物を作ったとしたらどうでしょう？いざ車輪にトラブルが発生したときに対処できなかったり、もっと良い車輪を生み出せる可能性を見逃してしまうかもしれません。 実際、データベースの仕組みを深く理解せずに使った場合、パフォーマンスの問題や障害に直面したときに原因を特定できず、対応に苦労することがあります。逆に、基礎から構造を学び、自分で仕組みを構築する経験を積むことで、トラブル解決能力が向上し、独自の最適解を導き出すことができるのです。 車輪の構造を学ぶには、

ぼくはAmazonのシアトル本社でセールの機能を開発している。Amazonでお買い物をしていると「30%引き」や「20%オフ」のようなディスカウントを発見して喜んでくださっている方もいると思うけれど、あのディスカウントを提供する仕組み自体が一つの大きなプロダクト（システムと言ってもいいかな）になっている。そしてそれを支えるためにシアトル、バンクーバー、ベルリン、バンガロールにまたがるグローバルなチームによって開発・管理している。 そんなわけでぼくはPM (プロダクト・マネージャー) として日々セール機能に関するプロジェクトを回している。たくさんの刺激的で興味深いプロジェクトに恵まれてきたわけだけど、その中で一つとても記憶に残るプロジェクトがあった。 それは「定期おトク便」に関するものだ。定期おトク便というのは、平たくいうと日頃からリピートして買う商品（例えば飲料水や洗剤のような日用品）につ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 日本のソフトウェアエンジニアリングコミュニティの皆さんへ エンジニアリングは、単なるチェックリストではありません。システムを深く理解し、その制約を把握する学問です。ここ数年、日本のソフトウェアコミュニティの技術ブログを拝見する中で、少し気になる点があります。 それは、日本と海外との技術的なギャップが広がっているように見えるだけでなく、技術的な議論や知識の共有が十分に行われていないことです。 私が過去15年間で多くのプロジェクトを開発してきた中で、技術的な意思決定は常に長期的な影響を伴うものでした。特定のデータベースやプログラミング言語を

ThinkWeek @ThinkWeek247 40代半ばの整形外科医。2児の父。 テーマは医療、不動産、インター教育と海外移住。医療法人(3店舗)を経営中、自院手術は脊椎と人工関節150件/年。学生時代に米国医学部留学。 2009年から東京で不動産投資、2021年宅建合格。 水泳は4kmを70分。3ヶ月の世界一周経験あり。医師の開業相談乗ります。メッセージ歓迎。 tribeca.ltd ThinkWeek @ThinkWeek247 ◯科学的根拠で子育て 世の中に子育て本は数多あれど、なんとなくこうした方がいい、という経験値に沿って語られがちな子育て。 慶応大：中室教授の「学力の経済学」はそこに学問的・客観的データを持ち込んでベストセラーとなった。 本書はその続編で相変わらず素晴らしい内容。 少し解説してみる。 2025-01-17 04:28:47 ThinkWeek @ThinkWe

最近、AIが長年の悩みを次々と解決してしまう 2025.01.12 Updated by Ryo Shimizu on January 12, 2025, 09:12 am JST 今日は特に強いメッセージとかはない。 ただ、正月休みの次に来た連休で、特に休んですることもない。まあすることがあるとすれば仕事くらいだ。 今日はこの後シラスの特別講義の仕事があるが、まあそれも半分は趣味みたいなもので、もっと真剣に取り組むべき仕事もいくつか抱えている。これは休みという概念がないのでまあ置いておく。 ただ、最近、OpenAI o1の正式版が出て、さらにo1 pro modeとかが出てきてしまったことで、僕の長年の悩みがどんどんなくなっていく現状について語っておきたい。 長年の悩みというと大袈裟だが、「こういうプログラムがあれば便利なのに」と思っていたようなことが、o1 pro modeに頼むと、次

Masato Morishima / チューリング株式会社CFO @MasatoMorishima イーロン・マスクさんが複数社経営しつつ、なぜこんなに生産性が高いのかに関する面白い話。 実は彼は予想に反してほとんどの業務は権限委譲していて、彼がやるのは毎週1つだけ。 「今この会社で最も重要なボトルネック・課題は何か？」を見つけ、その解決のためだけに週のほとんどの時間を費やすらしい。 しかもその際には、現場の製造ラインのオペレーターやソフトウェアエンジニアなど実際にそのタスクに関わっている人たちのレベルまで下りていき、現場の人たちと一緒に課題に取り組み解決するまでやりきる。 そうすることで、年に52個のその会社にとって最も重要な問題を解決し、それにより会社を大きく前進させるらしい。 起業家レベル99。これはチューリングでもやっていきたい。 How Elon Musk Gets So Muc

イチローさん（51、マリナーズ会長付特別補佐兼インストラクター）が18日、母校である愛工大名電高校を訪れた。「想像以上にレベルが低い」母校へ厳しい印象を語ったイチローさん。データ野球が主流となってきてい…