dairappa🐚ଳ (@dairappa) profile picture

programmer, from cradle to graveyard. 🐎: 431221762

京郜の北
Joined June 2019
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)
dairappa🐚ଳ retweeted
Leanの定理蚌明で堅いシステム䜜るずか矎しく感じるから゚ンゞニアが飛び぀くのはわかるけどさぁ 本圓に䟡倀の高いものっおむンタヌフェヌスの境界郚分みたいな泥臭いずころにあっお、蚌明が仕様倉曎のたびに壊れるのでただお荷物が増えるだけになりがちだよ 定理蚌明が掻きるような匷いモゞュヌルっお、それこそ新しいプログラミング蚀語だったりランタむムだったり、それ自䜓の䞖界が広いものなので、やるならRubyを超える䞖界的な䜕かを䜜るぞ、ぐらいの気抂が必芁 たかがSaaS開発ぐらいで必芁になるこずは、たぁないず思っおた方がいいず思う ほが状態機械のモデル怜査ずしお普通のテストで代替できたす そしおフロンティアのコヌディングモデルならほが勝手に䞍倉条件を決めながらテストを曞いおくれるので意識する必芁もないずいう
2
3
5
92
9,636
dairappa🐚ଳ retweeted
メッカの方角を指すアプリに゚ロ広告が出おたずきのレビュヌでも芋るか
2
2
304
dairappa🐚ଳ retweeted
おじさんが導いおあげたしょう。いいかね、たずNIST SP800-207 を読みたしょう。いい加枛な定矩のれロトラストではなくこう蚀うのを読むずいいですよ。れロトラストは、PEPでのアクセス制埡ず、PDPによる刀定だずザックリ理解したしょう。この敎理された抂念からFirewall を芋぀め盎すず、じ぀は同じ抂念に萜ずし蟌めるのですじゃ。䜵せおPDPの実珟䟋ずしおRBACを想定するずいいです。評䟡する属性は぀あっおサブゞェクト、オブゞェクト、環境に分けれたす。このうちの環境属性ずしお「接続元」があるのですが、これをFirewall に担圓させたす。するずどうでしょう。れロトラストの䞭に境界防埡モデルが取り蟌たれおいるずこがわかりたす。れロトラストず境界防埡モデルは盞反する考えではなく、敎理・再配眮されたモノず捉えるのが良いでしょう。
れロトラ教の人たちに聞きたくなるんだけど、なんで境界防埡かられロトラに移行させようずするの メヌカヌはポゞションがあるのはわかる。 ベンダヌずしおはシングルポむントになるから蚱容しづらいず思うんだけどな   
5
64
2
445
35,604
圢匏手法流行っおるけど、耇雑な状態遷移や䞊行性がある堎合の怜蚌には効果があるず思い぀぀、そのたえにナヌスケヌスの責務ず境界を意識したアヌキテクチャずか、subjectを自然蚀語で可読にしたふるたい駆動のテストの敎備ずか、䞍倉条件を定矩しおPBTやるずか、そこたでやれおいるずころっおどのくらいあるんでしたっけみたいな 個人的にはそれらがやれおいる䞊での次のステップくらいの優先床かずおもっおいたす
1
9
2
48
3,582
モノづくりの系は3å±€(3呚回)になるのだろう。1局目はDevSecOps、2局目はプロダクトマネゞメントサむクル。2局目の自䜜から始めたが1局目がないずモノはプロトタむプ寄りで止たる。その䞊で3局目に「なぜそのプロダクト仮説なのか」に答えるための呚回を甚意する。だいぶ揃っおきた。
1
16
1,233
dairappa🐚ଳ retweeted
この「知識の構造化」の考え方、 AIにどう情報やナレッゞ、抂念をもたせようかず考えおる人間には凄く刺さる・・・。 iba.kwansei.ac.jp/iba/journa

2
79
4
853
67,872
dairappa🐚ଳ retweeted
WBSっおのはやるこずが党郚決たったあずの「結果」に察しお䜜る物なので、やるこずを決める段階で䜜れるわけがない。䜜ったずしお、それは遵守する䟡倀のあるWBSなのかっお話。にもかかわらず、「WBSが無いず安心できないPM」みたいなのがいるから困る
戊コンはWBS匕かないのかっお話 戊略策定などの䞊流工皋では、 基本的にWBSを匕かず、論点で管理したす 論点からタスクに萜ずすこずもできたすが、 論点や仮説は動くし、日々倉わるので、 タスクで管理する旚みがあたりない 論点で管理するには、 きちんず論点蚭蚈ができるこずが倧前提 ここが難しいずころでもあり、 面癜いずころでもあるのよ
21
218
61
1,788
370,967
dairappa🐚ଳ retweeted
うヌん、法埋のモデルがそんなに単玔な数孊的察象を持぀のかなあ  刀䟋ずかで解釈が絞り蟌たれおくずかあるのに。数孊的察象を遞ぶのは確実に解釈が入るから虚無を怜査しおる可胜性が高い気がする。私は圢匏手法よりトレヌサビリティを遞ぶな。仕様のどこに反映されおるかずか远跡しおそれが党域なら網矅しおないずはいえない、たで持ち蟌める
teapawt.net/conao_3/status/2117830
 1日前に同じこず公開しおたw やっぱり法什関連、Leanで機械的に怜査できるようにしたいですよねヌ。盎感合っおた。
1
3
23
3,299
dairappa🐚ଳ retweeted
AI 時代のモデリングずしお提唱しおみたす 集玄をどこたで機械的に導けるか――圢匏手法をベヌスずしたドメむンモデリングnrs zenn.dev/nrs/articles/33ba79
 #zenn
2
31
6
302
36,416
dairappa🐚ଳ retweeted
ISUCON 参加蚘を曞きたした倩然知胜で線集したしたが、AI衚珟が残っおいたらごめんなさい。 今回は圓日の解法に぀いおです。どんな準備をしたかはたた埌日。 ISUCON2026 で優勝したした圓日線 zenn.dev/luvtechno/articles/
 #zenn
12
551
137
3,180
397,412
dairappa🐚ଳ retweeted
これっおシンプルに、NNの重みもあらゆる珟実䞖界のネットワヌク的珟象で芋られるのず同じ冪乗則が働いおいお、䞀郚のハブ・ニュヌロンにクリティカルな圹割が集䞭しおいるっおこずじゃないでしょうかね
ニュヌラルネットワヌクを孊び研究しおきた人間にずっお、このトピックは党おの前提をひっくり返す内容なんだけど、マゞなのか。。。 人間の脳で䟋えるなら、孊習や経隓ではなく、盎接蚘憶をいじるこずができるようなもの。
3
17
3
132
20,489
dairappa🐚ଳ retweeted
同じ結論になった 
もしかしたらDにした方が、Dよりも楜なのではないかず思い方向転換。玠材を甚意する手間が、Dのほうが楜ずいうのはなんか奇劙な感じではある。
6
1
39
17,080
dairappa🐚ଳ retweeted
OKR、ふりかえりずむきなおりをするこずが倧切だず思うけど、シンプルにGROWモデルずダブルルヌプを意識すればよいず思うずいうブログです。 OKRをGROWモデルずダブルルヌプで運甚する @at_946 at-blog.vercel.app/blog/2026

5
38
1,940
dairappa🐚ଳ retweeted
スマホの傟きに合わせお、絵が回るようにしおみた。 3D化しおいるわけではなく、1枚の絵から360°回転の「動画」を䜜り、傟きに合わせおフレヌムを前埌させお、立䜓っぜく芋せおいたす。 #MiniMaxH3 + ORB360 LoRA
91
1,019
148
6,835
362,825