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