kiris (@kiris) profile picture

Scalaエンジニアしたり、EMしたり、人事したり、AI推進したり。 クライミングやボードゲームが好き。

Joined May 2007
Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)Photo by kiris (@kiris)
Scalaのコンパイルが終わらない
1
31
・━━━━━━━💫━━━━━━━・ ⠀ ⠀⠀⠀ ⠀ 『スピリットサークル』 ⠀⠀⠀⠀⠀⠀⠀TVアニメ化決定 ⠀ ・━━━━━━━🔥━━━━━━━・ ⠀ 📺2026年12月より放送・配信開始 ⠀ ■キャスト■ 桶屋風太 役:浦 和希 石神鉱子 役:永瀬アンナ ルン 役  :幸村恵理 イースト 役:中村悠一
105
7,408
2,282
14,854
1,932,867
kiris retweeted
OpenAI DevDay 2026で最大にインパクト大きい発表はどっからどうみてもSignin with ChatGPT。 今までこれがないせいでAI SaaSでは割高なAPI利用料金の負担をユーザーに強いることになり、 「こんな高いならCodex使って同じような仕組み自分で作るわwww」 に繋がってたと思う。 まだCommercial partner限定の公開らしいけど、Google認証みたいに使えるようになったら、SaaSの立ち位置が大きく変わってくる。 できるはずなのに頑なに出てこなかったから、OpenAI(やAnthropic などのLLMベンダー)はやる気ないのかと思ってたけど、今回の発表によりやる気はあることがわかったから、今後にとても期待してる。 一言で言うなら SaaS is dead is dead.
4
62
31
537
153,834
kiris retweeted
LLM Among usガチでアツい、もう少しで動画を作ってみんなにも見せたい
13
751
78
5,150
329,719
kiris retweeted
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Readers added context they thought people might want to know
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
74
244
119
3,408
1,364,850
kiris retweeted
Introducing Claude Opus 5.5, the first model in our new Claude 5.5 family. It performs at the level of Claude Fable 5.1 for most tasks, and costs 40% less to run than Opus 5.
3,367
9,077
6,645
98,340
29,633,893
🤖 Made with AI
1
131
kiris retweeted
昨日よりも Jev が何なのか解像度が上がったので、そのレポートを書きました。 たぶんプログラマなら用途がピンと来ると思うので、使い倒す価値があります。 zenn.dev/mizchi/articles/jev…
6
377
50
2,258
387,803
javがでてai時代のカーネイジハートやりたい
1
170
ドゥーン…… "ステージング環境"
🤖 Made with AI
3
261
38
1,562
169,586
kiris retweeted
えー、eslint のルール説明だけ渡して実装渡さずに、 jev に判断させたら約9割正解です
4
56
5
552
54,186
kiris retweeted
これ、Jevの革命的なユースケースじゃないか ClaudeCodeとかCodexのセッションログのすべてのツール呼び出しにスコアを付けて不要なものを削除することで、即時/compactができるっていう使い方
found the perfect use case for @typesafeai Jev: instant compaction in 2026, why is compaction still a summarization prompt? Jev can make it instant by scoring every tool call and dropping what’s irrelevant
14
186
21
2,141
272,456
金木犀が香り出したので秋
1
156
ピタゴラスイッチの曲に歌詞付けたこれ今見てもおもろい
15
1,002
75
8,081
524,477
AIを使って馬鹿になる人について考えるとき、「AIに頼ると頭を使わなくなる」といった話は、あまり本質的ではない。電卓が普及して暗算をする機会が減ったとか、Google Mapsのせいで道を覚えなくなったとか、その程度の話なら、人類は文字を発明した時点ですでに相当馬鹿になっているはずである。 もっと興味深い問題がある。 1983年、心理学者・人間工学研究者のLisanne Bainbridgeは「Ironies of Automation(自動化の皮肉)」という有名な論文を書いた。そこで指摘された逆説は、40年以上たった現在の生成AIにも驚くほどよく当てはまる。 機械が人間より上手にできる仕事を次々に自動化していくと、最後に人間に残されるのは何か。それは、機械がうまく処理できなかった例外的で、複雑で、判断の難しい仕事である。ところが、日常的な仕事を機械に任せれば任せるほど、人間はその仕事を自分で行う機会を失い、技能も状況理解も衰える。つまり、自動化が進むほど、人間の出番は減るのに、人間が出番を求められたときの仕事だけは難しくなる。Bainbridgeが「皮肉」と呼んだのは、この構造である。 たとえば、毎日100本のプログラムを書かなければならない人がいて、そのうち99本をAIが完璧に書いてくれるようになったとする。これは一見すると素晴らしい。しかし人間に回ってくる1本は、「なぜか本番環境でだけデッドロックする」「仕様書そのものが矛盾している」「二つの設計思想のどちらを採用するか判断しなければならない」といった、AIが処理できなかった難問になる可能性が高い。 つまり、その人は99本の普通のプログラムを書くことで本来得られたはずの訓練を失った状態で、100本中もっとも難しい1本だけを解かなければならなくなる。 これはなかなか意地の悪い仕組みである。 1995年、EndsleyとKirisは、この問題を「out-of-the-loop performance problem」として実験的に調べている。人間がシステムを直接操作する立場から、自動化されたシステムを眺めるだけの立場に移ると、単に操作技能が落ちるだけではなく、「いま何が起きていて、この先どうなるのか」という状況認識まで低下する。そして自動化システムが故障して突然人間に操作を返したとき、対応が遅れる。研究では、能動的な情報処理から受動的な情報処理へ移ることが、この低下の重要な原因として示唆されている。 これはプログラミングに限らない。部下が作った契約書を毎日チェックしている人は、長年のうちに「この条項は妙だ」という感覚を身につける。しかし契約書をAIが作り、AIがチェックし、人間は最後に「承認」ボタンを押すだけになれば、その感覚を獲得するために必要だった何千回もの小さな判断が消える。そして本当にAIが見落とすような珍しい契約上の問題が起きたときだけ、人間に判断が戻ってくる。 AIによる能力低下の恐ろしさは、「簡単な仕事ができなくなること」ではない。簡単な仕事を大量に経験することでしか育たなかった、難しい仕事を処理する能力まで失われることにある。 さらに厄介な問題がある。自分の能力が落ちていることを、自分自身が認識できなくなる可能性である。 心理学には「metacognitive calibration」という考え方がある。簡単に言えば、「自分がどれくらい正しいか」という自己評価と、実際の正答率がどれくらい一致しているか、という問題である。知識が多少不足していても、自分が何を知らないかを正しく認識できる人は比較的安全である。危険なのは、能力そのものより、このキャリブレーションが壊れることである。 2026年に『Computers in Human Behavior』に掲載された研究には、実に象徴的なタイトルがついている。 「AI makes you smarter but none the wiser」 直訳すれば、「AIはあなたを賢くするが、自分がどれほど賢いのかは分からなくする」といった意味になる。この研究では、LLMを使うことでLSAT型の推論課題の成績そのものは向上した一方、人々が自分の成績をどれだけ正確に評価できるかというメタ認知には問題が生じた。特に興味深いのは、AIリテラシーが高いことや自信が強いことが、必ずしも自己評価の正確さにつながらなかったという点である。 考えてみれば当然である。 AIなしで10問中6問解ける人が、AIを使うと10問中9問解けるようになったとする。このとき本人が観察できるのは「私は9問解けた」という結果だけである。しかし、その9問のうち何問が自分の能力で、何問がAIの能力なのかは、結果からは分離できない。 ここで、自分自身の能力を測るためのフィードバック系が壊れる。 筋力なら、100kgのバーベルを持ち上げられなければ自分の筋力不足はすぐ分かる。しかし、AIと一緒に100kgを持ち上げている状態では、自分が何kgまで持てるのか分からない。そしてAIの補助があまりに自然になると、そもそも「これは二人分の力で持ち上げている」という感覚すら薄れてくる。 私は、AI時代に本当に危険なのはここだと思う。 人間は無知であることには比較的耐えられる。「これは知らない」と自覚していれば、調べることができるからである。しかし、知らないという自覚そのものを失えば、調べるという行為も発生しない。 もう一つ、この問題を理解するうえで面白い古典的な実験がある。「generation effect(生成効果)」と呼ばれる現象である。 SlameckaとGrafは1978年の実験で、答えをただ読んだ場合と、自分で答えを生成した場合を比較した。すると同じ情報であっても、自分で生成したもののほうが、その後の記憶成績が良かった。これはさまざまな条件で確認された。 この現象をAIに当てはめると、少し嫌なことが見えてくる。 たとえば会議で「この新規事業の問題点を三つ考えてください」と言われたとする。五分間考えて、「市場規模」「競合」「人材」という三つを自分でひねり出す。その後ChatGPTに聞いたら、「法規制」「顧客獲得コスト」「既存事業とのカニバリゼーション」まで出てきた。この使い方なら、自分の思考にAIによる追加が行われる。 ところが最初から「問題点を10個挙げて」とAIに尋ね、その中からもっともらしい三つを選ぶだけになれば、自分が問題を生成する工程そのものが消える。 成果物だけを見れば後者のほうが立派である。だが、脳の中で起きたことはまったく違う。 これこそ、AIについて議論するときに「生産性」という指標だけを見てはいけない理由である。ある人がAIを使って以前の三倍の文章を書き、二倍のコードを書き、五倍の資料を作れるようになったとしても、その数字から本人の能力が向上したとはまったく言えない。極端な場合には、成果物の品質が上がるのと同時に、本人が単独で判断する能力は下がり、しかも本人にはその低下が観測できない、ということすら起こり得る。 そして、ここまで考えると「AIを使って馬鹿になる人」の特徴も少し違って見えてくる。 AIに質問する人が馬鹿になるのではない。AIに文章を書かせる人でもない。コードを書かせる人でもない。 AIが担当した認知過程と、自分が担当した認知過程との境界が見えなくなった人が危ないのである。 自分が考えたのか、AIが考えたのか。自分が理解したのか、理解しやすい説明を読んだだけなのか。自分に判断能力があるのか、AIが常に正解を横に置いてくれているから判断できているように見えるだけなのか。 この区別を意識的に維持できる人にとって、AIは恐ろしく強力な知的増幅器になる。 維持できない人にとっては、もっと恐ろしいものになる。 なぜならAIは、その人の能力を奪うときですら、本人には「以前より賢くなった」という感覚を与えることができるからだ。 だから、AIなんか使うな。 ちなみにこの文章は全文ChatGPTが書いた。
165
2,966
875
11,038
1,454,961
パンアパ、氷川台に住んでた(?)らしくマジかってなってる。 昔住んでてどこかですれ違ってたりしてたんだろうか
1
177
『天地創造』(Terranigma)が復活! 2027年にSwitch2/Switch/PS5/PS4/Xbox Series X|S/Steamでリリース famitsu.com/article/202608/8… 1995年にSFCで発売されたエニックス×クインテットのアクションRPG。キャラデザは藤原カムイ氏が担当。これまでに移植・リメイクは行われていなかった傑作が令和に蘇る
194
11,193
2,869
16,991
3,228,088
【動画投稿のお知らせ】 オマタセシマシタ。明日20時世界一周動画第2弾公開です youtube.com/watch?v=4m8Qdjf-… 復讐はこの動画からどうぞ!
6
6
2
32
3,157
この研究が面白いのは、AIの学習について考えているうちに、そのまま「人間の創造性とは何か」という話に接続してしまうところだと思う。 研究では、学習データが大規模になるほど、生成された画像を「この一枚」「この作家」の影響だと特定することが難しくなるという。 これは別に、学習データの影響がなくなるという話ではない。 むしろ、 「個別の作品への依存」から、 「大量の作品が作る分布への依存」へ移っていく と考えたほうが近い。 Aという作品を抜いても、Aと共通する構図、色、形、様式、概念がB、C、D……の中にも大量に存在しているなら、モデルは似た表現を作れてしまう。 で、これって人間の表現もかなり似ているんじゃないかと思う。 どれほどオリジナルに見える表現であっても、その人が過去に見た映画、絵、漫画、写真、風景、会話、経験などから何かを学び、それらの類似性から連想し、抽象化し、再構成した結果なのではないか。 つまり「オリジナル」とは、過去から完全に独立したものではなく、 「影響元があまりにも多く混ざり合い、もはや特定の何か一つへ還元できなくなった状態」 なのかもしれない。 そう考えると、「似ている」と「パクリ」は本来かなり違う。 似ているというのは表現空間上の距離の話だけれど、パクリというのは特定の作品を参照して作ったという因果関係の話だからだ。 AIも同じで、大規模学習になればなるほど、通常は特定の一作品に依存する可能性は低くなる。 もちろん、 「この絵をそのまま真似して」 「この作家だけを追加学習して」 「この画像を強く参照して」 と、意図的に特定の何かへ寄せれば話は別。 でもそれは、大規模事前学習とはむしろ逆方向の操作だと思う。 AIは人間の創造を模倣するように作られている。 だとすれば、AI研究が進めば進むほど、逆に「人間はどうやってオリジナルな表現を作っているのか」が見えてくるのかもしれない。 創造とは「何もないところから生み出すこと」ではなく、 「膨大な過去を学び、その関係を組み替え、元のどれにも還元できないものにすること」 なのかもしれないね。 nazology.kusuguru.co.jp/arch…
1
54
7
135
31,969