2017年
1月
アイコンが蟹になった
課題でHaskellを書いていた
Hindley-Milnerを書いていたらしい.まだバグ無くUnificationを実装できたことが無い
成人式で精神が崩壊する
2月
Haskellは簡潔かつ強力まで考えたところで小さい女の子が着飾って得意げな表情を浮かべているところが思い浮かんだのでやめた
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年2月27日
カリフォルニア大学バークレー校よりサマーセッションの合格がでました。おめでとうございます。
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年2月21日
このときから準備をしていけば・・・
4月
下半身に脳みそ占拠されるのキツい
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年4月29日
今年前半はずっと進路悩んでいる気がする.弊学科に理論よりの計算機科学やる人がいないのがいけないんじゃ
ベイジアンならベイズ推定の考え方がこんなに簡単!って言っている人全員に確率の意味づけ聞きたい
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年4月13日
やっていきます pic.twitter.com/Tj4g96ojeJ
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年4月9日
5月
セキュキャン応募した
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年5月26日
セキュキャン無限に落ちる
Ponyに出会う.すくすく育って欲しい
留学ビザが出る
正直よく分かってないんだけど最前列に座っている人間が話聞かずにPCいじってたりいきなり首を90度超曲げだすのって不愉快?
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年5月17日
なんも分からん
自分が何者かであることは自明なので
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年5月12日
直観です
6月
確率の哲学ウダウダこねくり回していたが『確率の哲学理論』を読んだらスッと理解がクリアになったので本職ってすげえなって
哲学書を読む利点として,抱いていた観念の概要や利点・欠点が秒で明晰になるということがある
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年6月7日
反出生主義も調べないとな・・・
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年6月7日
ぼくは人生概ね幸せというイデオロギーを受け取ることにしたので,手続き面でよりよくしていこうという立場です
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年6月10日
人生概ね幸せかなあ・・・まあそうかも
綿密な調整の結果完徹でフライトですね
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年6月18日
渡バークレー
日本はサービスが過剰!とかあるんですが,こっち23時ぐらいに授業掲示板に質問が立つと10分ぐらいでインストラクターが回答する
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年6月23日
CS61A・CS61BLの充実っぷりすごかった
バークレーにまあまあ好感情
7月
計算量の節でみんな「ウワーΣだ」とか言ってては?ってなる
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年7月3日
簡単な授業で無双することにむなしさを感じ始める.
PGPのソースコードを全部乗っけた本(輸出規制回避のため) pic.twitter.com/iUlixWHSV8
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年7月7日
これすき
強い人間に会いに行かんと
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年7月7日
行けませんでした.
日本のオタクだらけプレリと違ってバークレーのMagicプレリは年齢層が広かった
アメリカ式食生活に適応し始めピザと輪切りオリーブとトマトを無限に摂取していた
技術書典3にサークル「井山梃子歴史館」として参加申込をしました! | 技術書典 https://t.co/7Kh7QhVcGy
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年7月23日
自作言語 on 自作CPUでいきます
8月
アメリカではプリンセス・プリンシパルが視聴できなかったので二次創作百合ツイートばかりみて想像を膨らませていたのだが,帰国後追っかけたら公式は二次の遥か上を叩きつけてきて最高
Rigetti computing pic.twitter.com/gkGvKVkknM
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年8月6日
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年8月1日
こういうところ接近しても突撃していけないの(突撃できる準備・アポ取りをしていかないの)悲しい.チャンスを無駄にしている感高い
正直バークレー留学しても特に自分が変わったという気持ちは無い...まあアメリカでも変わらずやっていけるぞということでしょうか
あとバークレーの方がリア充してたな
10月
#技術書典3 です pic.twitter.com/L3Ekumo9wF
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年10月22日
購入者の皆さんありがとうございます!完成版は10年スパンでお待ちください!!!!!!
11月
C&C賞受賞記念講演でAhoの後ろ30cmぐらいにいた
もっといい表現無いですか?
— 1日目東ク18b@酩酊して健全性を失った型システム (@__pandaman64__) 2017年11月30日
あとは水筒の水をぶっかけられそうしか思いつきません pic.twitter.com/bKFPI2rlFY
12月
来年の進路が決まりました
再来年からどうするかはわかりません.量子プログラミングやれるところ行きたい
2018年
なんかこう行動のポテンシャルはあるものの仕事関数を抜けられないせいでチャンスをふいにしてしまっていることが多くてつらい.
最終的には0か1かなので思い切って飛び出していきたい
ほぼ毎日Twitchに4-5時間溶かしているのヤバいと思うので生産的な活動をしたい
Unificationを正しく書きたい
本の完成版は必ずやるので待っていて欲しい・・・・