dairappa🐚ଳ (@dairappa) profile picture

dairappa🐚ଳ

@dairappa

programmer, from cradle to graveyard. 🐎: 431221762

 京都の北
Joined June 2019
  • Tweets9.1K
  • Following1.5K
  • Followers394
541Media
Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)
生成AI時代のIAMのマニアックな話 🅱 はてなブックマーク テクノロジー新着 より speakerdeck.com/takuros/jaws…
生成AI時代のIAMのマニアックな話

生成AI時代のIAMのマニアックな話

JAWS FESTA 2026 in AKITA(2026年11月7日)の登壇資料です。 プログラムには鍵を渡せるのに、なぜLLMには渡してはいけないのか。AIエージェントからAWSを操作するときに、鍵ではなく権限を渡す考え方を、IAMの代理実行とAI専用ロールから解説しました。 関連書籍 …

speakerdeck.com
2
2
295
形式手法流行ってるけど、複雑な状態遷移や並行性がある場合の検証には効果があると思いつつ、そのまえにユースケースの責務と境界を意識したアーキテクチャとか、subjectを自然言語で可読にしたふるまい駆動のテストの整備とか、不変条件を定義してPBTやるとか、そこまでやれているところってどのくらいあるんでしたっけみたいな 個人的にはそれらがやれている上での次のステップくらいの優先度かとおもっています
1
7
1
45
3,108
モノづくりの系は3層(3周回)になるのだろう。1層目はDevSecOps、2層目はプロダクトマネジメントサイクル。2層目の自作から始めたが1層目がないとモノはプロトタイプ寄りで止まる。その上で3層目に「なぜそのプロダクト仮説なのか？」に答えるための周回を用意する。だいぶ揃ってきた。
1
16
1,191
dairappa🐚ଳ retweeted
y.asai (@yasaistick) profile picture
y.asai@yasaistickNov 7
この「知識の構造化」の考え方、 AIにどう情報やナレッジ、概念をもたせようかと考えてる人間には凄く刺さる・・・。 iba.kwansei.ac.jp/iba/journa…
2
78
4
843
66,516
dairappa🐚ଳ retweeted
タマゴケ (@s5ml) profile picture
タマゴケ@s5mlNov 7
WBSってのはやることが全部決まったあとの「結果」に対して作る物なので、やることを決める段階で作れるわけがない。作ったとして、それは遵守する価値のあるWBSなのかって話。にもかかわらず、「WBSが無いと安心できないPM」みたいなのがいるから困る
なりすましコンサル (@narisumashi100) profile pictureなりすましコンサル
@narisumashi100Nov 6
戦コンはWBS引かないのかって話 戦略策定などの上流工程では、 基本的にWBSを引かず、論点で管理します 論点からタスクに落とすこともできますが、 論点や仮説は動くし、日々変わるので、 タスクで管理する旨みがあまりない 論点で管理するには、 きちんと論点設計ができることが大前提 ここが難しいところでもあり、 面白いところでもあるのよ
20
218
60
1,779
360,254
dairappa🐚ଳ retweeted
Kuniwak (@orga_chem) profile picture
Kuniwak
@orga_chemNov 6
うーん、法律のモデルがそんなに単純な数学的対象を持つのかなあ… 判例とかで解釈が絞り込まれてくとかあるのに。数学的対象を選ぶのは確実に解釈が入るから虚無を検査してる可能性が高い気がする。私は形式手法よりトレーサビリティを選ぶな。仕様のどこに反映されてるかとか追跡してそれが全域なら網羅してないとはいえない、まで持ち込める
Conao3 (@conao_3) profile pictureConao3
@conao_3Nov 6
nitter.gq/conao_3/status/2117830… 1日前に同じこと公開してたw やっぱり法令関連、Leanで機械的に検査できるようにしたいですよねー。直感合ってた。
1
3
23
3,266
dairappa🐚ଳ retweeted
farstep (@farstep_) profile picture
farstep
@farstep_Nov 6

代数的 API 設計でドメインの契約を実装から切り離す

Article · @farstep_
1
12
2
76
7,867
dairappa🐚ଳ retweeted
nrs (@nrslib) profile picture
nrs
@nrslibNov 4
AI 時代のモデリングとして提唱してみます 集約をどこまで機械的に導けるか――形式手法をベースとしたドメインモデリング｜nrs zenn.dev/nrs/articles/33ba79… #zenn
集約をどこまで機械的に導けるか――形式手法をベースとしたドメインモデリング

集約をどこまで機械的に導けるか――形式手法をベースとしたドメインモデリング

zenn.dev
2
31
6
299
36,176
dairappa🐚ଳ retweeted
Yoshinori Kawasaki (@kawasy) profile picture
Yoshinori Kawasaki@kawasyNov 2
ISUCON 参加記を書きました！天然知能で編集しましたが、AI表現が残っていたらごめんなさい。 今回は当日の解法についてです。どんな準備をしたかはまた後日。 ISUCON2026 で優勝しました（当日編） zenn.dev/luvtechno/articles/… #zenn
ISUCON2026 で優勝しました（当日編）

ISUCON2026 で優勝しました（当日編）

zenn.dev
12
551
137
3,181
395,894
dairappa🐚ଳ retweeted
Kenn Ejima (@kenn) profile picture
Kenn Ejima
@kennNov 3
これってシンプルに、NNの重みもあらゆる現実世界のネットワーク的現象で見られるのと同じ冪乗則が働いていて、一部のハブ・ニューロンにクリティカルな役割が集中しているってことじゃないでしょうかね？
佐田圭一朗｜事業構想×AI設計 (@stimulus48) profile picture佐田圭一朗｜事業構想×AI設計
@stimulus48Nov 3
ニューラルネットワークを学び研究してきた人間にとって、このトピックは全ての前提をひっくり返す内容なんだけど、マジなのか。。。 人間の脳で例えるなら、学習や経験ではなく、直接記憶をいじることができるようなもの。
3
17
3
132
20,404
dairappa🐚ଳ retweeted
ABAB↑↓BA (@ababupdownba) profile picture
ABAB↑↓BA@ababupdownbaNov 3
同じ結論になった…
タケハタ (@takehatavabu) profile pictureタケハタ@takehatavabuNov 2
もしかしたら３Dにした方が、２Dよりも楽なのではないかと思い方向転換。素材を用意する手間が、３Dのほうが楽というのはなんか奇妙な感じではある。
6
1
39
17,077
dairappa🐚ଳ retweeted
カワリミ人形 (@kawarimidoll) profile picture
カワリミ人形@kawarimidollNov 2
ブログに記事を公開しました HerdrのGUIアプリ版が良さげかも kawarimidoll.com/posts/20261…
HerdrのGUIアプリ版が良さげかも | kawarimidoll.com

HerdrのGUIアプリ版が良さげかも | kawarimidoll.com

AIエージェントを動かすターミナルをスペースごとに並べて作業状態を一覧できるHerdrの紹介です。

kawarimidoll.com
1
8
108
12,389
dairappa🐚ଳ retweeted
Yoshi Yamaguchi (@ymotongpoo) profile picture
Yoshi Yamaguchi@ymotongpooNov 2
IaCがなぜ無くならないか書いたので公開した ymotongpoo.hatenablog.com/en…
クラウドが状態を把握してもIaCがなくならない理由 - YAMAGUCHI::weblog

クラウドが状態を把握してもIaCがなくならない理由 - YAMAGUCHI::weblog

はじめに こんにちは、Grafana Labsでデベロッパーアドボケイトをしているものです。 2026年10月31日、元同僚のJames Ward*1が、Xで「IaC is dead」と投稿しました。AIがあれば、インフラの構成をコードで管理するIaC*2は不要になるという主張で、最後には共著書の宣伝が添えられていまし…

ymotongpoo.hatenablog.com
Yoshi Yamaguchi (@ymotongpoo) profile pictureYoshi Yamaguchi@ymotongpooNov 1
昨晩のXでのやり取りを経て「何故IaCが死ねないのかと、IaCがなくなるための条件とは」というブログ記事を書き始めた
58
7
297
38,036
dairappa🐚ଳ retweeted
asato (@at_946) profile picture
asato@at_946Nov 1
OKR、ふりかえりとむきなおりをすることが大切だと思うけど、シンプルにGROWモデルとダブルループを意識すればよいと思うというブログです。 OKRをGROWモデルとダブルループで運用する @at_946 at-blog.vercel.app/blog/2026…
OKRをGROWモデルとダブルループで運用する | at-blog

OKRをGROWモデルとダブルループで運用する | at-blog

以前、OKRっていいよねってブログを書いた。 じゃあどうやって運用してこうか。GROWモデルでいこう。 GROWモデルでOKRをふりかえる・むきなおる GROWモデルは、目標達成を支援するためにコーチングなどで使われる思考の型。以下の頭文字から組み立てられています。 Goal：目標は？ Reality：現状は？ Options：現状から目標に近づく選択肢は？ Will：選択肢から選ぶのは？

at-blog.vercel.app
5
38
1,935
dairappa🐚ଳ retweeted
monoradio (@monoradio102) profile picture
monoradio
@monoradio102Nov 1
スマホの傾きに合わせて、絵が回るようにしてみた。 3D化しているわけではなく、1枚の絵から360°回転の「動画」を作り、傾きに合わせてフレームを前後させて、立体っぽく見せています。 #MiniMaxH3 + ORB360 LoRA
91
1,019
147
6,832
360,702
dairappa🐚ଳ retweeted
みのるん (@minorun365) profile picture
みのるん
@minorun365Nov 2
今期からKDDIで、本部長格の高度専門職としてDistinguished Engineer (DE) を拝命しました！ 引き続き主務のKAGでテック最前線と奮闘しながら、KDDIグループを技術面で盛り上げていけるように頑張ります💪
Image from みのるん (@minorun365)
84
98
17
1,751
176,568
dairappa🐚ଳ retweeted
Kuniwak (@orga_chem) profile picture
Kuniwak
@orga_chemOct 29
振る舞い仕様をE2Eの概念からからリバースして定義した事例だ。私はその手のE2EをグラフベースのE2Eと読んでいる。もうひとつはモンキーベース。グラフベースE2Eのテストオラクルは状態遷移モデルであるべき。時代はこちらにある
じょうげん (@j_ktwr) profile pictureじょうげん@j_ktwrOct 29
この記事のe2e試してるんだけど革命起きてるわ テストコードをプロンプトとして宣言できるから、保守する必要がなくて、自然言語で書ける。 それでいて、1度成功したテストは過去の実行キャッシュのリプレイで済むから再現性がある haikuなら1テストあたり0.01ドルくらい zenn.dev/polyco/articles/266…
最近の E2E 戦略（2026 年 10 月現在）

最近の E2E 戦略（2026 年 10 月現在）

zenn.dev
7
97
9,948
dairappa🐚ଳ retweeted
Kuniwak (@orga_chem) profile picture
Kuniwak
@orga_chemOct 30
Isabelle や Rocq を学んでる時にこれがあれば…
Takayuki Kihara (@tri_iro) profile pictureTakayuki Kihara@tri_iroOct 30
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。 kihara-logic.github.io/proof…
4
21
2,789
む、マジかよ。Red HatがまたCVE-2026-98432の評価引き上げた。9.8でしかもAttack ComplexityをLowに変更している。ついでに速報も出されていて、修正の提供を急ぐ方針に変わっているな。 access.redhat.com/security/c…
1
211
11
522
69,292
dairappa🐚ଳ retweeted
Shitty Future (@Shitty_Future) profile picture
Shitty Future
@Shitty_FutureOct 29
Image from Shitty Future (@Shitty_Future)
68
804
57
12,914
388,053
Load more