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,890
自明な AltJS として知られる JavaScript
6
242
継承は俺には扱えない (extends Facade)
Vueエアプマン (@realmpyw) profile pictureVueエアプマン@realmpyw11h
Book::ship()
1
7
351
思いつきで生成 AI に記事を書かせてみる，恐ろしく気に食わなくて指摘する，いくら会話を重ねても見当違いの修正ばかりで喧嘩になる，結局ぜんぶ自分で書き直す．
1
6
291
ブレインストーミングから壁打ちして整理するくらいまでは良いけれど，最終的な文章は最初から魂込めて書いたほうが早い．
85
正解：フルメタル嘘つき茶
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasollaOct 30
胡乱なお茶ってなーんだ ヒント：胡乱 (ウーロン) な茶だから…？
4
272
Image from Masaki Haga (@silasolla)
1
4
229
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
519
いったい何駆動さんの本なんだ…
3
208
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
48
14
320
71,910
胡乱なお茶ってなーんだ ヒント：胡乱 (ウーロン) な茶だから…？
1
7
905
オブジェクト指向がわからない？ TaPL の 15 章 (Subtyping) 〜 読めば良いのではないでしょうか？？ (胡乱)
8
1
30
3,617
Masaki Haga retweeted
よんた (@keita44_f4) profile picture
よんた@keita44_f4Oct 30
AI出力そのままを読み手に押し付けるのは怠慢だしハラスメントだぞ！！！💢💢💢
3
5
354
Masaki Haga retweeted
Takayuki Kihara (@tri_iro) profile picture
Takayuki Kihara@tri_iroOct 30
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。 kihara-logic.github.io/proof…
16
464
38
1,840
104,450
令和の虎見てそう ← 最大限の侮蔑
11
392
えーあい「整数環のイデアルは全て単項イデアルで〜」 環論を知らない人「イデアルとか AI 語使わないでください‼️😡」
1
12
757
サブタイピング以外 (型クラスによるアドホック多相や ML のパラメトリック多相) は > ポリモフィズム
フラワー (@luckyowlman) profile pictureフラワー@luckyowlmanOct 30
なんならポリモフィズムだって多用すべきじゃないと思うんだよね… 使いこなすと気持ちいいけど、現実の抽象構造って正確に捉えるのは難しいし意外とかわったりするじゃんね？
2
11
878
？？「かしこまり！」
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
1
2
239
「バァン！ (大破)」
1
1
156
youtu.be/hS75hOmd8Wc
危機はそこに

危機はそこに

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

youtube.com
102
令和の虎とかリアルバリューとか見てそう (悪口)
6
317
Load more