Masaki Haga (@silasolla) header
Masaki Haga (@silasolla) profile picture

Masaki Haga

@silasolla

プログラミング言語や人に優しい技術・ツールがすき．今は 💻🌐 の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．🔑: https://xitter.gq/t.co/uu3m5T4dut

 みんな笑顔のインターネット → 隠居
silasol.la
Joined October 2016
  • Tweets62.2K
  • Following480
  • Followers1.2K
3.6KMedia
Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)
これでプログラミングには困らないな
Image from Masaki Haga (@silasolla)
7
1,015
33
2,889
Masaki Haga retweeted
Masaki Haga (@silasolla) profile picture
Masaki Haga@silasollaMay 1
OOP におけるクラスの public, private とかいうアクセス制御は「粗悪なオモチャ」で，「本物のプログラマ」は generative functor で構造体を作り，opaque ascription で型の実体を隠す．
Cubbit (@cubbit2) profile pictureCubbit@cubbit2Apr 30
代数的データ型とパターンマッチングはいいぞ 本物のプログラマは本物の道具を使う 代数的データ型のおかげで、オブジェクト指向のクラスなんて粗雑なオモチャだと気付くことができた
27
3
165
27,403
2015年の今日、10月29日に『夜廻』を発売し、発売11周年を迎えました 幼い少女が夜闇に消えた“大切なもの”を探して彷徨う夜道探索アクションゲーム ──夜の怖さをおぼえていますか？ ▼#夜廻 ポータルサイト nippon1.jp/consumer/yomawari…
『夜廻』シリーズポータルサイト｜日本一ソフトウェア

『夜廻』シリーズポータルサイト｜日本一ソフトウェア

夜道探索アクション『夜廻』シリーズのポータルサイトです。

nippon1.jp

『夜廻』シリーズ プロモーションムービー

─夜の怖さをおぼえていますか？ 幼い少女が夜闇に消えた“大切なもの”を探して彷徨う 夜道探索アクションゲーム 『夜廻』『深夜廻』『夜廻三』 ▼夜廻シリーズポータルサイト https://nippon1.jp/consumer/yomawari_portal/

7
907
37
2,593
48,848
もちもちBAKE お前
4
172
もちもちBAKE おだきゅ
1
3
246
あなたの骨を分けてくださいな
1
147
新卒採用で前職の面接に進んだころ，ほかの会社が研究や Standard ML や Isabelle の話をチラつかせると渋い顔をされるので取り繕っていたところ，めちゃめちゃこういう話を聞いてくれて学生の身として嬉しかった覚えがある (項書き換えや Standard ML や Isabelle の仕事をしていたとは言っていない)
14
689
定理証明支援系が有名になったら嬉しいなって Isabelle 見ながら思っていたら，変な感じで Lean が hype されて「こんなはずでは」に
8
331
再掲
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasolla21 Nov 2023
小学生相手に Haskell を布教し ・高階関数 ・再帰 ・遅延評価 ・モナド を体感してもらうためのコード main :: IO () main = mapM_ putStrLn unko where unko = "unko" : unko
4
524
あらためて見ると『Goならわかるシステムプログラミング』の厚さは順調に増加しているな。『検索システム』のほうは一見すると変わらないけど、実はベクトル検索の章が新しくまるっと増えてる
『Goならわかるシステムプログラミング』初版、第2版、第3版

ALT 『Goならわかるシステムプログラミング』初版、第2版、第3版

『検索システム』初版、増補改訂版

ALT 『検索システム』初版、増補改訂版

1
8
45
2,006
古典論理
爆ペン (@baku_pen) profile picture爆ペン
@baku_penOct 27
GMOを攻撃してるハッカーさすがに自我出しすぎだろ このままじゃ足元救われるぞ 犯人は ✅ 10代～20代、もしくは30代～40代、または50代以上 ✅ 男性の可能性が高いが、女性の可能性も否定できない ✅ 内部の犯行か、外部の犯行 すでにここまでは特定できた
1
13
1,152
あれ？ これ胡乱かもしれないです
1
136
必要なのは DI ではなく ML 系言語のモジュールシステムで〜 (え？)
2
12
514
GitHub の Issue と PR が連番を共有しているの，数学書で定義や補題や定理が共有しているのと似てる
1
16
997
「定義 1.1」の次の定理は「定理 1.1」じゃなくて「定理 1.2」だよねってのと pull/1 の次の Issue は issue/1 じゃなくて issue/2 だよねっての
1
120
インターネットが AI で壊れちゃったってことで各位パソコン通信に回帰していただき (ﾋﾟｰﾋｮﾛﾛﾛ~ ﾋﾟｰｶﾞｶﾞｶﾞｶﾞ...)
5
384
胡乱なこと言うか
1
4
455
ブロイラーの不動点定理：鶏を狭い鶏舎に詰め込んで飼育すると成長しても行動可能な領域が変わらないので必ず不動点が存在する
3
144
気づいたらあらゆる IT 産業が World Wide Web になっていったのを破壊していただき
こと (@kotolabdev) profile pictureこと@kotolabdevOct 27
技術者倫理に溢れた発言で恐縮ですが、AIにはその調子でこのままネット社会を破滅に追いやってほしい そしてインテルネッツを社会の基盤に据えるとかいう愚策中の愚策を犯す前の社会に戻すんだ
1
2
1
55
7,862
xitter.gq/silasolla/status/20515…
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasollaMay 5
Web の世界を生業としていて言うのもアレだが，現在のパソカタがなんでもかんでも Web になってる社会構造はかなり歪んでいて，ぶっ壊れないかなって思ってる．
2
849
無限とかいう概念に対する直観的な予測が失敗しまくって、論理による厳密な定義が発展してきたみたいなところある
2
24
570
Load more