takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
【11/22再更新】アップランドのサイトで声明が公開される。『人気企業Vtuberに決まっていた声優2人に実際に起こ..
221319pv 736 55 users 234 -
『東大に入って絶望した田舎者』阿部幸大氏のウソを、彼の卒業した高校元教員が指摘
365000pv 2715 511 users 2119 -
菅野完・森友事件について語る
7740pv 15 1 user
-
けものフレンズぱずるごっこ 違法行為かもしれんやつまとめ
208248pv 2537 229 users 257 -
為末大さんdaijapanの「【お騒がせした罪】について 一色の正義で染まった社会を全体主義と呼ぶ」
5152pv 34 1 user 6 -
ICSE'13勉強会 (ハッシュタグ #sereading)
8662pv 39 6 users 4 -
「ソフトウェア工学は失敗している」のか?
25123pv 130 49 users 30 -
ICSE'12勉強会 ログ (ハッシュタグ #sereading)
6103pv 16 2 users -
その8・上杉隆VS町山智浩(2月3日~2月6日)ずるずる編 @uesugitakashi
33315pv 47 1 user 1 -
3分でわかる上杉隆VS町山智浩 @uesugitakashi
549834pv 1554 283 users 330 -
大学教員からのインターンシップに対する素朴な疑問
3696pv 10 1 user 2 -
SES2011クロージングパネル「企業の技術者・研究者から見た大学との連携」
3324pv 12 3 users -
Facebookで「キモいオヤジだった」と書き込んで内定取消になったことに関する議論
60265pv 208 68 users 81 -
黙祷の時くらいはデモをやめて静かにしてほしい、とツイートしたら反原発の御仁がブチ切れ
51244pv 911 69 users 386 -
『圏論の基礎』が書店から消えた
7192pv 20 1 user -
フジロックで脱原発のうたは歌えないに対する、津田氏のつぶやき。
23215pv 206 22 users 15 -
松本復興大臣を応接室で待たせた宮城県知事
58069pv 400 34 users 4 -
Coqで圏論の会
4034pv 9 -
Coqの話あれこれ
4246pv 5 3 users -
AC(公共広告機構)のCMを見た人たちの反応
18572pv 91 6 users