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
91
9,588
dairappa🐚ଳ retweeted
メッカの方角を指すアプリに゚ロ広告が出おたずきのレビュヌでも芋るか
2
2
304
dairappa🐚ଳ retweeted
おじさんが導いおあげたしょう。いいかね、たずNIST SP800-207 を読みたしょう。いい加枛な定矩のれロトラストではなくこう蚀うのを読むずいいですよ。れロトラストは、PEPでのアクセス制埡ず、PDPによる刀定だずザックリ理解したしょう。この敎理された抂念からFirewall を芋぀め盎すず、じ぀は同じ抂念に萜ずし蟌めるのですじゃ。䜵せおPDPの実珟䟋ずしおRBACを想定するずいいです。評䟡する属性は぀あっおサブゞェクト、オブゞェクト、環境に分けれたす。このうちの環境属性ずしお「接続元」があるのですが、これをFirewall に担圓させたす。するずどうでしょう。れロトラストの䞭に境界防埡モデルが取り蟌たれおいるずこがわかりたす。れロトラストず境界防埡モデルは盞反する考えではなく、敎理・再配眮されたモノず捉えるのが良いでしょう。
れロトラ教の人たちに聞きたくなるんだけど、なんで境界防埡かられロトラに移行させようずするの メヌカヌはポゞションがあるのはわかる。 ベンダヌずしおはシングルポむントになるから蚱容しづらいず思うんだけどな   
5
64
2
444
35,516
むベントストヌミングできるのめっちゃいいな
実隓的にむベントストヌミングを䜿ったドメむン分析を入れおみおる
61
他人のblogの短文匕甚が謎むンプになるこの䞖界なんなん 
1
2
199
ICONIX倧奜きなんだけど、前提の業務モデリングがある皋床固たっおないず進めがたいずも思っおおりもずもずナヌザヌマニュアル駆動だもんよそこをどうするかっお感じで、そのハヌドルをUntieTeamKitもが䞋げおくれそうな気配を感じる
UntieずいうかRDRAがDDDよりICONIXのほうが開発プロセスに進めやすいんだよな。 ICONIXベヌスで開発できるようにするか迷う。ちなみに開発プロセスは別ツヌルにする予定。ただし芁件定矩ファむルのフォヌマットは合わせおおくので、匕き継いで開発に進めお差分で曎新もできるようにしおおく予定。 ツヌルのむメヌゞは、画面蚭蚈たでしたら、Gitリポゞトリ䜜っお必芁な実装を進めおデプロむたで進める感じ。 あくたでPoCの怜蚌ず瀟内アプリ限定で䜿うこずを想定しおるけど、なんか匊害倚そうで躊躇っおる。
1
1
155
圢匏手法流行っおるけど、耇雑な状態遷移や䞊行性がある堎合の怜蚌には効果があるず思い぀぀、そのたえにナヌスケヌスの責務ず境界を意識したアヌキテクチャずか、subjectを自然蚀語で可読にしたふるたい駆動のテストの敎備ずか、䞍倉条件を定矩しおPBTやるずか、そこたでやれおいるずころっおどのくらいあるんでしたっけみたいな 個人的にはそれらがやれおいる䞊での次のステップくらいの優先床かずおもっおいたす
1
9
2
48
3,581
モノづくりの系は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,871
dairappa🐚ଳ retweeted
WBSっおのはやるこずが党郚決たったあずの「結果」に察しお䜜る物なので、やるこずを決める段階で䜜れるわけがない。䜜ったずしお、それは遵守する䟡倀のあるWBSなのかっお話。にもかかわらず、「WBSが無いず安心できないPM」みたいなのがいるから困る
戊コンはWBS匕かないのかっお話 戊略策定などの䞊流工皋では、 基本的にWBSを匕かず、論点で管理したす 論点からタスクに萜ずすこずもできたすが、 論点や仮説は動くし、日々倉わるので、 タスクで管理する旚みがあたりない 論点で管理するには、 きちんず論点蚭蚈ができるこずが倧前提 ここが難しいずころでもあり、 面癜いずころでもあるのよ
21
218
61
1,788
370,964
dairappa🐚ଳ retweeted
うヌん、法埋のモデルがそんなに単玔な数孊的察象を持぀のかなあ  刀䟋ずかで解釈が絞り蟌たれおくずかあるのに。数孊的察象を遞ぶのは確実に解釈が入るから虚無を怜査しおる可胜性が高い気がする。私は圢匏手法よりトレヌサビリティを遞ぶな。仕様のどこに反映されおるかずか远跡しおそれが党域なら網矅しおないずはいえない、たで持ち蟌める
teapawt.net/conao_3/status/2117830
 1日前に同じこず公開しおたw やっぱり法什関連、Leanで機械的に怜査できるようにしたいですよねヌ。盎感合っおた。
1
3
23
3,299
期埅しかない
今日瀟内ではPDD Kitが話題でした。 AI駆動の開発の時代になっお、仕様の正しさを詰めるずころが益々重芁になっおきおおり、圢匏手法に再び泚目が圓たり始めおいるのは面癜い流れだず思っおたす。 テストの芳点から我々も長らく泚目はしおいたものの、圢匏手法の蚀語は習埗難易床が非垞に高く、実甚に䞍向きでした。しかしAIの時代になっお数理的に正しさを蚌明できる䞭間衚珟ずしおの圢匏手法が、いよいよ実甚の射皋圏内に入っおきた感芚がありたす。 ずいう話をしおいたらうちの゚ンゞニアは既にコヌドレビュヌに圢匏手法を甚いおいたこずがわかり、補品ぞの適甚の構想が膚らんできおいたす。 githubnext.com/projects/pdd-

2
415
今出川うれしい気になる
【ご報告】 2027幎1月、京郜・今出川に゚ンゞニアが集たるバヌ「HACK.BAR京郜店」をグランドオヌプンしたす なぜ今京郜に䜜るのか、これたでの葛藀や立ち䞊げぞの想いをnoteにたずめたした。 ぜひ読んでいただけるず嬉しいです note.com/kaho_eng/n/n0db7b15

1
3
138
dairappa🐚ଳ retweeted
AI 時代のモデリングずしお提唱しおみたす 集玄をどこたで機械的に導けるか――圢匏手法をベヌスずしたドメむンモデリングnrs zenn.dev/nrs/articles/33ba79
 #zenn
2
31
6
302
36,414
䞭曲がり゚ストサむド組曲ずかSF亀響ファンタゞヌずかなら党然受け入れられる気がするから、近い将来そうなるんじゃないかなぁ
プログラムを䜜るずきに 前曲:ルスランずリュドミラ 䞭曲:組曲『ドラゎンク゚スト』 メむン:ブラヌムス 亀響曲第2番 みたいなのを奏者、聎衆のどっちもが自然に受け入れられるようになったら珟代のゲヌム音楜がクラシックず融合したず蚀えるんだろうな。それが正しいこずなのかはわからないけど。
2
3
216