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

Masaki Haga

@silasolla

プログラミング言語や人に優しい技術・ツールがすき．今は 💻🌐 の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．🔑: https://nitter.cf/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,014
33
2,889
既定値とか言われてもデフォルトって言ってもらわないとわからん
2
99
Masaki Haga retweeted
mod_poppo (@mod_poppo) profile picture
mod_poppo@mod_poppo5h
静的検証 vs 動的検証みたいな話、この時代において「両方やれ」以外の答えがありうるのか
8
29
941
自明な AltJS として知られる JavaScript
8
327
継承は俺には扱えない (extends Facade)
mpyw（本物） (@realmpyw) profile picturempyw（本物）@realmpywNov 1
Book::ship()
1
7
364
思いつきで生成 AI に記事を書かせてみる，恐ろしく気に食わなくて指摘する，いくら会話を重ねても見当違いの修正ばかりで喧嘩になる，結局ぜんぶ自分で書き直す．
1
6
315
ブレインストーミングから壁打ちして整理するくらいまでは良いけれど，最終的な文章は最初から魂込めて書いたほうが早い．
94
正解：フルメタル嘘つき茶
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasollaOct 30
胡乱なお茶ってなーんだ ヒント：胡乱 (ウーロン) な茶だから…？
4
284
Image from Masaki Haga (@silasolla)
1
4
244
Masaki Haga retweeted
Masaki Haga (@silasolla) profile picture
Masaki Haga@silasolla31 Oct 2019
Replying to @ipc_bot
@ipc_bot (T→R→I→C→K)∨(T→R→E→A→T)
1
5
7
RT@🔒: 悪いコードと悪いコードで学ぶ誤謬とトレードオフ入門
2
11
562
いったい何駆動さんの本なんだ…
3
215
Masaki Haga retweeted
くまぎ (@kumagi) profile picture
くまぎ
@kumagiOct 31
呪文ごとに新規クラスを書き起こすのを「良いコード」としている本がITエンジニア本大賞取っちゃうぐらい普通の人のレベルは低いからね…。
山本ユースケ (@yusuke) profile picture山本ユースケ
@yusukeOct 31
Replying to @WeAStmxe4s4wUs1 @kaminarumono77 @kats_me
そもそも商品の種別ごとにクラスは作らないですね。ロールプレイングゲームでモンスター種別毎にクラスを作ることもない。 敢えて作るとすれば ・Itemインターフェース ・BookインターフェースにgetISBN() ・EbookユーティリティにasEPUB() とかはあり得るかも？ 「多くのアプリケーションで継承を使う必要はなく、初心者が頑張って継承関係を導き出そうとすると破綻しがち」という筋は合っています。
1
49
14
322
73,038
胡乱なお茶ってなーんだ ヒント：胡乱 (ウーロン) な茶だから…？
1
7
922
オブジェクト指向がわからない？ TaPL の 15 章 (Subtyping) 〜 読めば良いのではないでしょうか？？ (胡乱)
8
1
30
3,666
Masaki Haga retweeted
よんた (@keita44_f4) profile picture
よんた@keita44_f4Oct 30
AI出力そのままを読み手に押し付けるのは怠慢だしハラスメントだぞ！！！💢💢💢
3
5
359
Masaki Haga retweeted
Takayuki Kihara (@tri_iro) profile picture
Takayuki Kihara@tri_iroOct 30
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。 kihara-logic.github.io/proof…
16
466
39
1,848
105,603
令和の虎見てそう ← 最大限の侮蔑
11
394
えーあい「整数環のイデアルは全て単項イデアルで〜」 環論を知らない人「イデアルとか AI 語使わないでください‼️😡」
1
12
760
サブタイピング以外 (型クラスによるアドホック多相や ML のパラメトリック多相) は > ポリモフィズム
フラワー (@luckyowlman) profile pictureフラワー@luckyowlmanOct 30
なんならポリモフィズムだって多用すべきじゃないと思うんだよね… 使いこなすと気持ちいいけど、現実の抽象構造って正確に捉えるのは難しいし意外とかわったりするじゃんね？
2
11
880
？？「かしこまり！」
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
1
2
242
「バァン！ (大破)」
1
1
158
youtu.be/hS75hOmd8Wc
危機はそこに

危機はそこに

Provided to YouTube by TuneCore Japan危機はそこに · Nash Music Library...

youtube.com
105
Load more