整理整頓・食生活の改善・倹約 @silasolla Twitter profile

Pinned Tweet

整理整頓・食生活の改善・倹約

@silasolla

4 years

これでプログラミングには困らないな

9

1K

3K

Last Seen Profiles

@adonissja

@mdpau

@JRPA_info

@SsebulibaFred

@am_amhs

@theReciprocity

@S1NNERF0X

@ThePocketReport

@kraemerJ103010

@sietlov

@udin12344566

@yumoss

@00benff

@BryanMudryk

@UniversalIND

@cdguiguis1

@KUFieldHockey

@XOLIEXR1

@_hey666

@ovrrcompnsate

@JonnaayUnhinged

@AddonPayments

@itsnotgeoff

@nhoamanda2022

@silentghostb

@faiththatheals

@LeadNewark

@marieannedoc

@JeannerTawa

@_jaipugh

@jskwklaire

@jbugg450

@stw_pdg

@ryer44444

@SarahAlainnFr

@thevonford

整理整頓・食生活の改善・倹約

@silasolla

1 year

大学のレポートとかいうの，提出後のフィードバックが無くて，どこが合ってるのか間違ってるのかわからないまま成績が出て，はい終わりってなりがちなのが最高に馬鹿．やめちまえ．

8

2K

14K

整理整頓・食生活の改善・倹約

@silasolla

1 year

ピクミンがはこんできた←景品表示法違反か？

51

2K

14K

整理整頓・食生活の改善・倹約

@silasolla

2 years

cd をしたら ls するのは，部屋に入ったら電気を点けるのと同じっての，すきですね．

8

405

2K

整理整頓・食生活の改善・倹約

@silasolla

7 months

幼いころは，山って地面が盛り上がっててその上に木が生えてるんじゃなくて，平らな地面の上にめちゃめちゃ長い木が生えまくってるんだと思ってて，どうやって頂上まで登るんだろうってなってた．

2

192

2K

整理整頓・食生活の改善・倹約

@silasolla

8 months

自分に任せてほしい配列 → お任せarray

4

431

2K

整理整頓・食生活の改善・倹約

@silasolla

1 year

「ピクミンが運んできた果実で作った」って書いておきながら「使用している果実はピクミンがはこんでいません」って下のほうに小さい字で書いて矛盾させているの「なんでもしますから！ (何でもするとは言っていない)」っぽい

6

208

2K

整理整頓・食生活の改善・倹約

@silasolla

7 months

・性 (えっちなこと) ・性格 (えっちさのランクのこと) ・性格が良い (すごくえっちであること)

1

271

2K

整理整頓・食生活の改善・倹約

@silasolla

8 months

人間に乳房が2つ存在するのって，子育ての時期に乳飲み子が2人くらい同接することを想定したデザインなのか？

18

137

1K

整理整頓・食生活の改善・倹約

@silasolla

8 months

Mastercard の Master は表現規制に引っ掛からないんか？

2

474

1K

整理整頓・食生活の改善・倹約

@silasolla

1 year

試験の答案とかもね．フィードバックがないどころか「問い合わせたら不正で成績取り消すぞ」って脅されるくらいだしね．

2

76

1K

整理整頓・食生活の改善・倹約

@silasolla

2 years

小中学生のころは，作文で「如何にして文字数を稼ぐか」みたいな卑しいことを考えていたのに，大学院に来たら逆に「50ページ超の修論を4ページにまとめる」とかいうので苦しむとは思わんかったな．

2

143

1K

整理整頓・食生活の改善・倹約

@silasolla

1 year

こういうのがあると，大学って教育機関ではなく研究機関 (という名目に胡座をかいた単位認定機関) なんだなってなります．教育する気ないよね．

1

71

967

整理整頓・食生活の改善・倹約

@silasolla

1 year

これいいな．1 = 2 の記事と一緒にアンサイクロペディアに載せてほしい．

6

155

887

整理整頓・食生活の改善・倹約

@silasolla

8 months

sl コマンドって ls をタイポしたときの戒めになっているわけですが，邪悪ポイントとして signal(SIGINT, SIG_IGN) で Control-C の割り込みが効かないようになっているので，反省タイムの間は反省することしかできないというのがある．

4

219

758

整理整頓・食生活の改善・倹約

@silasolla

1 year

それは書き直しになったことに対しての嫌な顔であって，フィードバックが要らないってことではないでしょう．成績が不可になったら，そりゃ誰もが嫌な顔をするし，論文が Reject になっても嫌な顔をするでしょってのと同じ．

ぶつりかがく屋さん

@phys_chem_

1 year

ココとココがちゃんと書けてないので書き直しって突き返すと、全員が全員イヤな顔して睨んでくるんですけど？

0

2

20

3

38

659

整理整頓・食生活の改善・倹約

@silasolla

1 year

いまさらヨビノリ氏の批判してる人類，大層恵まれた講義の数々を大学で受講できたんだなあと思いました．

0

66

506

整理整頓・食生活の改善・倹約

@silasolla

9 months

… ? … : … を「三項演算子」ってよぶの，さすがにクソデカ主語すぎるので，if 式って言ってほしい．+ のこと，二項演算子ってよぶぞ．

3

83

462

整理整頓・食生活の改善・倹約

@silasolla

3 years

MacOSのここがダメ・Linuxじゃない

6

76

376

整理整頓・食生活の改善・倹約

@silasolla

11 months

こういうひとなんだよ

3

66

301

整理整頓・食生活の改善・倹約

@silasolla

1 year

君は完全で健全で無矛盾で極大なアイドル

0

68

294

整理整頓・食生活の改善・倹約

@silasolla

8 months

同接って言い回しどうなん

1

18

272

整理整頓・食生活の改善・倹約

@silasolla

1 year

？？？？？🤔🤔🤔？？

2

29

256

整理整頓・食生活の改善・倹約

@silasolla

4 years

これは私の研究室の > 個人では所有できないような高額機器です

サクセスリバーコーテシーinエイトプリンス

@rei_nari

4 years

大学は自ら学びたい人や研究したい人にとっては、まさにレジャーランドだよね。個人では所有できないような高額機器類を使って、自分の立てた仮説を検証する実験を自由に展開できるなんて、素敵じゃないですか

4

93

509

0

82

247

整理整頓・食生活の改善・倹約

@silasolla

3 months

わかるんだけど，そんな非本質見てるんだ．ヘイトスピーチしそうになってしまった．

1

29

243

整理整頓・食生活の改善・倹約

@silasolla

1 year

ヨビノリ以外の教育系 YouTuber > 大堀淳の計算機科学チャネル via @YouTube

Atsushi Ohori's Computer Science Channel

Provide video lectures in computer science, which are Graduate and undergraduate level courses on Programming languages and Systems Profile of Atsushi Ohori Education: BA in Philosophy from Univers...

www.youtube.com

0

41

224

整理整頓・食生活の改善・倹約

@silasolla

1 year

・志望動機はなんですか・あなたの強みと弱みはなんですか・学生時代に力を入れていたことはなんですか・P ≠ NP だと思いますか

2

34

217

整理整頓・食生活の改善・倹約

@silasolla

2 months

未経験者を大量雇用して薄給で使い潰す悪徳SESどっかで見たことあるなと思ったら，吹奏楽部の「未経験者歓迎」って謳い文句で部員を集めていざ入部したら虐め倒すやつだってなった．

1

44

213

整理整頓・食生活の改善・倹約

@silasolla

1 year

先生によっては「問い合わせたら成績取り消すぞ」って脅してくる (自分の経験ではそう) ので，聞きに行けない雰囲気もあるんじゃないですかね．

井戸蛙

@idokawazu_5

1 year

先生によっては「なんでそれを聞きにこない」と真面目に思ってるからなあ。

0

3

11

2

19

203

整理整頓・食生活の改善・倹約

@silasolla

1 year

たしかに，紙媒体で提出されたら人数分スキャンして，そのコピーを電子ファイルで返却するしかないのか．(とはいえ，何かしらの形で把握したかった．) > ただ、今は採点したレポートは返すことができないのが普通でほぼ永年保存しています。

teramaru MP

@teramaru929

1 year

それは残念な教員にあたりましたね。私は��範解答や間違いの多い部分の解説をeラーニングサイトに載せるようにしています。ただ、今は採点したレポートは返すことができないのが普通でほぼ永年保存しています。これは成績に対するクレームが来たときの対策としての証拠保全です（卒業後もあります）。

1

6

39

1

13

199

整理整頓・食生活の改善・倹約

@silasolla

1 year

こういうネタツイに目くじら立てて，勝手に「クレーム入れた」とか書いてないことを読み取って，他人に「基地外」とか暴言を吐くアカウントがいるんだなぁ

1

12

186

整理整頓・食生活の改善・倹約

@silasolla

1 year

わかって言ってんだよ

しん@シナモローラー

@777AZTECA777

1 year

@YORUSHIKA_LEMON アホが増えましたよねw 「ピクミンが運んでくるわきゃねーだろ‼︎虚偽広告だ」ってなってるんですかね？w

1

3

1

2

8

183

整理整頓・食生活の改善・倹約

@silasolla

1 year

学歴ロンダリングで「学歴をよく見せる」もなにも，学士より修士のほうが学歴は上だし，修士より博士のほうが上だがになる．

0

38

176

整理整頓・食生活の改善・倹約

@silasolla

1 year

ネタにマジレスするのも，コメディに欠けていて面倒くさいぞ

全大陸の長。N🇯🇵🗣

@YORUSHIKA_LEMON

1 year

日本人はこういう面倒くさい人がいるから注意書きが多いし広告なんかもコメディに欠ける。更には広告の停止やら商品の販売停止、パッケージ変更など、企業側も大変である。

2

3

6

2

6

143

整理整頓・食生活の改善・倹約

@silasolla

4 years

「こっくりさん，こっくりさん，どうぞおいでください」 +++++++[>+++++++++++++++<-]>-.-------.++++++++.EOF👇

1

65

140

整理整頓・食生活の改善・倹約

@silasolla

10 months

リーダブルコード狂信者，early return していないコード親の仇だと思ってそう

1

17

139

整理整頓・食生活の改善・倹約

@silasolla

1 year

北陸先端科学技術大学院大学先端科学技術研究科先端科学技術専攻情報科学系の悪口か？

Lazuly

@Lazuly_tech

1 year

てか「東京科学大学附属科学技術高校科学・技術科」は科学科学科学鬱陶しくなるし、「東京科学大学附属科学技術高校科学・技術科応用化学分野」はよりカオスだな？

1

24

97

1

50

130

整理整頓・食生活の改善・倹約

@silasolla

1 year

@uei_ponzu_syumi 矛盾

0

1

120

整理整頓・食生活の改善・倹約

@silasolla

8 months

なんというか「基本的に immutable だからバグを防ぎやすい」とか「推論が強い」とか，優位性を示すためにああだこうだ言いがちだけど，結局は「代数的データ型を定義してパターンマッチをすると…気持ちが良い！」ってことなんだろうなって，以前から感じてた．

0

22

129

整理整頓・食生活の改善・倹約

@silasolla

7 months

小学生相手に Haskell を布教し・高階関数・再帰・遅延評価・モナドを体感してもらうためのコード main :: IO () main = mapM_ putStrLn unko where unko = "unko" : unko

Yuichi Onodera

@mokemoke6502

7 months

マウントが地獄だった…お前はPRINT文でunkoを延々と表示するところから出直せ。

1

0

30

1

25

125

整理整頓・食生活の改善・倹約

@silasolla

4 years

Brainf*ckなので，本当は人差し指ではなく中指で10円玉を動かす必要があるらしい (思いの外伸びていて驚いた顔)

0

38

108

整理整頓・食生活の改善・倹約

@silasolla

5 months

Haskell が流行るために必要なの「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」とか言ってるやつらの口に人参を突っ込んで塞いで，初学者から離すことらしい．

1

21

111

整理整頓・食生活の改善・倹約

@silasolla

1 year

主語がデカいも何も，ぼくは大学の性質として「なり“がち”」とは書いていますが，どの大学でもどの学部でもどの講義でもどの教員でもこうなるとは言っていません．手厚い講義しか受講せずに済んだ学生がいれば，それは良い環境に身を置けたんですねとしか言えませんが，だいぶ特殊ケースでしょうね．

1

6

107

整理整頓・食生活の改善・倹約

@silasolla

2 months

🥹🥹🥹

みなせ ★C104_8.12_月_東6_ホ-21ab★某A産業リクルーター

@Ton_beri

2 months

正直、女子枠拡大の件、10年後がどうなるのか非常に興味をそそられる。10年も経てば「女子枠で入学した人は、キチンと卒業して就職できたか。また、就職先でどう評価されているか」が見えてくるから。

2

73

204

0

29

95

整理整頓・食生活の改善・倹約

@silasolla

3 months

The key's randomart image is: +--[ED25519 256]--+ |🍣🐹🍣🐹🍣🐹🍣🐹| |🐹🍣🐹🍣🐹🍣🐹🍣| |🍣🐹🍣🐹🍣🐹🍣🐹| |🐹🍣🐹🍣🐹🍣🐹🍣| |🍣🐹🍣🐹🍣🐹🍣🐹| |🐹🍣🐹🍣🐹🍣🐹🍣| |🍣🐹🍣🐹🍣🐹🍣🐹| |🐹🍣🐹🍣🐹🍣🐹🍣| +----[SHA256]-----+

0

19

93

整理整頓・食生活の改善・倹約

@silasolla

2 years

「駆け出しエンジニアと繋がりたい」の謎な点として，駆け出しが駆け出しと繋がって何になるんだっていうのがある．

0

19

89

整理整頓・食生活の改善・倹約

@silasolla

5 years

きのう深夜テンションでこんなんのをつくってたんだよ

0

43

84

整理整頓・食生活の改善・倹約

@silasolla

1 year

qnighy 氏，おそらく Twitter Blue の審査がきっかけで凍結されたと思われるが，Twitter に貢献しようとして Twitter に凍結されるのひどい話だ．

0

19

71

整理整頓・食生活の改善・倹約

@silasolla

2 months

収入を得て演奏しているプロと違って，逆に活動費を支出して演奏している愛好家なのだから，プロと同格にストイックになるのは歪みだと，もっと早く気づくべきだった．吹奏楽ビジネスに踊らされていた．

0

6

73

整理整頓・食生活の改善・倹約

@silasolla

1 year

戦利品です．積まないでちゃんと読みます．

2

11

69

整理整頓・食生活の改善・倹約

@silasolla

10 months

思想が強いひと「型と型推論のないプログラミング言語はプログラミング言語ではない」逆の方向に思想が強いひと「チューリング完全なら全部プログラミング言語だし sed も PostScript もプログラミング言語」

0

20

67

整理整頓・食生活の改善・倹約

@silasolla

8 months

(T → R → I → C → K) ∨ (T → R → E → A → T)

0

22

63

整理整頓・食生活の改善・倹約

@silasolla

1 year

で、でたーｗsubstitution を代入と訳すコンパイラの人間はおそらくいないでしょう奴ｗｗｗ

1

8

61

整理整頓・食生活の改善・倹約

@silasolla

6 months

Z世代に人気！完全な型推論やパターンマッチング、高度なモジュールシステムを備えたプログラミング言語「Standard ML (スタンダードエムエル)」とは？

1

9

58

整理整頓・食生活の改善・倹約

@silasolla

1 year

The key's randomart image is: +--[ED25519 256]--+ | UWAAAAAAA~~~~~~ | | ...---... | | 　ᕱ_ᕱ | | (>﹏<｡) | | ﾉ　 U | | Ｏ_Ｏノ | | DAREKA~~ | | TASUKETEE~~~~~~ | +----[SHA256]-----+

0

19

56

整理整頓・食生活の改善・倹約

@silasolla

7 months

型安全性ってスタートラインなのに，それだけで「強い型付け」ってよばれるのもなんだかなあという感じで，System-F みたいに全称量化入れたり，依存型入れたりして推論ブチ壊してからが本番でしょうか

2

6

57

整理整頓・食生活の改善・倹約

@silasolla

2 years

Either の「正しいことを Right っていうから失敗値は逆に Left にしよう」とか，GPL の「逆に Copyleft にしよう」とか，やってることが SNS のオタクの言葉遊びみたいで共感できるのですき．

0

11

56

整理整頓・食生活の改善・倹約

@silasolla

6 years

長らく二つ折り携帯を使い続けていた僕ですが, この度スマートフォンデビュー致しました(歓喜)

0

52

整理整頓・食生活の改善・倹約

@silasolla

8 months

まあまあ🧅でも見て落ち着いて

1

10

52

整理整頓・食生活の改善・倹約

@silasolla

4 months

治安良すぎる

1

6

51

整理整頓・食生活の改善・倹約

@silasolla

4 months

「関数型プログラミング」というのはね… たとえば…！代数的データ型を… 定義すると… 気持ちが良い… とか… あるいはぁ… syntactical にぃ… パターンマッチングするとぉ… 気持ちが良い… といったことを… 「関数型プログラミング」というんだ…

0

8

50

整理整頓・食生活の改善・倹約

@silasolla

1 year

はい，おかしいと思います (ので文句を言っている)

INOSE Takamichi

@inosetakamichi

1 year

これがおかしいだけでは？

0

1

2

48

整理整頓・食生活の改善・倹約

@silasolla

11 months

🤔🤔🤔🤔🤔

1

12

48

整理整頓・食生活の改善・倹約

@silasolla

1 year

(λx.大川隆法「ｽｩ… (x x) です」) (λx.大川隆法「ｽｩ… (x x) です」)

しろみそ

@wmisoup

1 year

大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法「ｽｩ……大川隆法です」です」です」です」です」です」です」です」です」です」です」

4

682

2K

1

9

45

整理整頓・食生活の改善・倹約

@silasolla

2 months

Tiger Book は C 版と Java 版もあって，三つ揃えるとポケモンになるのでおもろい．

中村良幸 (Nakamura Yoshiyuki)

@nakayoshix

2 months

左側の本(Modern Compiler Implement in C)は、コンパイラ本では有名な「Tiger Book」ですね。前は紀伊國屋書店札幌店にもこれの翻訳本が置いてあったんですけど、いつの間にか無くなったみたいで、今は立ち読みすることも出来なくて残念です。

1

0

2

1

14

44

整理整頓・食生活の改善・倹約

@silasolla

3 years

any を見つけるたびに，大きな any が sl コマンドのようにターミナルを横切る TypeScript コンパイラ (妄想)

0

6

42

整理整頓・食生活の改善・倹約

@silasolla

3 months

学部生のころ kwhgs 先生のとこ出身の先生に微分方程式とか複素解析とか教えてもらってたんですが，本当になんのカンペも本も見ないで学生の温度感に合わせて時間通りで講義進めてた．

0

2

42

整理整頓・食生活の改善・倹約

@silasolla

5 years

親愛なる軽○音の皆様へ愛を込めて

0

1

41

整理整頓・食生活の改善・倹約

@silasolla

3 years

Python と Ruby の構文ってどんな感じで対応するんだっけって思って “Python Ruby 違い” で検索したら・Ruby は Web 開発で利用されてるよ(ドヤッ！) ・機械学習なら Python (ドヤッ！) みたいな本当にどうでもいい情報ばっか引っ掛かって萎えた

0

9

39

整理整頓・食生活の改善・倹約

@silasolla

4 months

「入門書は読めるけどオライリーは何もわからない」って認識が皆無なんだけど，どういうこと？和訳がダメとかそういう話？

2

40

整理整頓・食生活の改善・倹約

@silasolla

4 months

プログラミン文脈で covariance と contravariance について説明を求められたときに，突然圏論を持ち出さないこと，そういう態度が社会人には求められるわけですね．

1

13

40

整理整頓・食生活の改善・倹約

@silasolla

1 year

自分は「，．」をデフォルトにしていますが，全角の日本語に混じって半角のラテンアルファベットや数字が末尾に現れる言葉を使うときに「，」だときもいので「, 」を使うことがあって，それらが文中で混じるのが嫌で全部「, . 」にしたくなるのはある．

0

5

38

整理整頓・食生活の改善・倹約

@silasolla

3 years

生まれた🎈🎈

10

0

39

整理整頓・食生活の改善・倹約

@silasolla

6 years

ことしもよろしくです

0

37

整理整頓・食生活の改善・倹約

@silasolla

1 year

理解るっすよ先輩先輩はこういう操作的意味論が定義されたプログラミング言語が好きなんすよね私には理解るっす (懐に忍ばせていた The Definition of Standard ML を取り出す)

0

8

36

整理整頓・食生活の改善・倹約

@silasolla

2 months

TikZ 使うかー

0

9

35

整理整頓・食生活の改善・倹約

@silasolla

6 years

誕生日お祝いしてくださった方, 本当にありがとう. 成人して1年が経ったものの, こんなんで21歳🤜🤛を名乗って良いのかと, 己の未熟さを痛感しています. 不束者ですが, これからも精進して行きますので, 今後ともよろしくお願いします.

0

37

整理整頓・食生活の改善・倹約

@silasolla

8 months

「数学科卒の方が無難」という気持ちはわかるけれど，数学科の人々が選民思想的に工学部や物理学科を舐めて掛かってくるのは若干モヤっとしないこともない．すごい人はすごいし，たとえば東北大の千葉先生って学部は工学部じゃなかったっけ？

🐕不自然対数🐈

@study_unnatural

8 months

受験数学が得意な人のなかで、純粋数学をあまりやってない人の割合は数学系以外の方が高いだろうし、受験数学は当然できるという前提の元で教わるなら数学科卒の方が無難では。問題の背景を知らない(なぜなら数学を知らないから)人には教わりたくないです

2

5

57

2

6

36

整理整頓・食生活の改善・倹約

@silasolla

1 year

いまさらヨビノリ氏の 1 + 1 = 2 の動画を視聴したけれど，厳密性はともかく，これを数学基礎論の導入にするのは，この分野でやっていることについて誤解を招きそう．

0

3

34

整理整頓・食生活の改善・倹約

@silasolla

5 months

犯人「オレだけど… お金が必要…」母親「ウチの息子なら関数の連続性と一様連続性の定義言える？」犯人「………」慌てて電話を切った

0

5

35

整理整頓・食生活の改善・倹約

@silasolla

1 year

C++ より Rust のほうがいいよというのはほぼ自明な気がするんですが，そこまで速度が優先されない用途で GC あり ML like な言語と比較して，それでも Rust が最強みたいなの (以前に話題になっていた GC なしじゃなくて shared mutable state ガーみたいなの) は眉唾に思えてしまうみたいなのが．．

0

10

35

整理整頓・食生活の改善・倹約

@silasolla

4 months

大学の学部の講義で先生が用いているのを見てから「関数」を「函数」って表記しがちだったんだけど，ちょっとカッコつけてるだけなのに字面見ただけで小難しいと思われる (話に興味を持って貰えなくなる) ので，ここ一年くらいで矯正した．

1

0

35

整理整頓・食生活の改善・倹約

@silasolla