はすじょい (hsjoihs)
@hsjoihs
Followers
10K
Following
264K
Media
2K
Statuses
303K
セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'24講師；東大既仏→Stanford 学部・修士卒業；NandGame 和訳；Turing Complete 和訳中；ZEN大学教員予定者（オートマトンと形式言語理論の上手い教え方を考える業務中）；@sosoBOTpi と同一
@sosoBOTpi と同一
Joined August 2015
科目概要に「『脱・神秘化』(demystify)」と書いた「オートマトンと形式言語理論」シラバスが、ついに公開されました！ よ～し執筆頑張るぞ. なお、『コンピュータシステムの理論と実装』(Nand2Tetris) を教科書とする「論理回路概論」も担当します.
syllabus.zen.ac.jp
ZEN大学で開講される論理回路概論の科目詳細ページです。ZEN大学在学生に限らず、広く公開し、入学のご検討にご活用いただけます。
「脱・神秘化（demystify）」 #NextbeatTechBar.
3
37
182
RT @MetChasers: The projected heat across SW France is unprecedented . All time temperature records look to be obliterated, this is DANGERO….
0
555
0
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
454
217
3K
RT @soga_taichi: パレスチナ承認にシンガポールが名を連ねているのは、ただの小国と甘く見ない方が良い。シンガポールは1965年の独立以降、アジアで最も最初にイスラエルからの兵器を購入しとされ、イスラエルと親密な関係にある。….
0
198
0
組曲「カルメン」をスマホで再生しつつ sksat ににじり寄ることで、起床を促した.
current status: hsjoihs なら俺の隣で寝てるよ.
0
1
28
RT @CihanPostsThms: [Papanikolaou 1997]: If the Euler–Mascheroni constant 𝛾 is rational, then its denominator exceeds 10²⁴⁴⁶⁶³.
0
26
0
RT @EzoeRyou: GitHubの将来性に不安が生じてきたな。.
theverge.com
GitHub will be part of Microsoft’s AI engineering team
0
65
0
RT @nagato1941: 現代の情報社会において、主張の良し悪しは実は瑣末な問題であって、ひとえにツール(ソーシャルメディア上での立ち居振る舞いを含む)を使いこなせるかが活動の生存を左右する、みたいななのは扇動系インフルエンサーや迷惑系YouTuberなんかが実証しちゃっ….
0
25
0
RT @abulaslime: Wagamamaの秘密は和食の肝である出汁と旨みを徹底的に排除することによって和食の顔をしたアングロサクソン料理に作り変えたところ。和食に慣れているアジア系や出汁と旨みが強いラテン系の人間には見た目で脳がバグるから不味く感じるけど、その前提がない….
0
267
0