2021/05
2021/5/31 (月)
髪切りに行く
大学に行く、カフェ開いてるじゃん!
2021/5/28 (金)
起きた... バイト
2021/5/27 (木)
起きて TaPL セミナー
昼寝したらがちねして起きたら15時
これで力尽きた
metals レビューしようと思ったけどできてない、cursor position が コメントブロックないかどうか、本当は scalameta の tokenizer で tokenize してやるのが一番なんだけど、必ずしも tokenize できるとは限らない? とはいえ、謎パーザーを組み込むのもなんかなぁ
雑談してたら27時...
2021/5/26 (水)
なんか疲れてる、だらだら英語の授業のページ読む
英語の授業受ける
肉食べたら元気になるのでは?と思って唐揚げ弁当を食べる、少し元気になる
鷹の爪の苗を買った
小野不由美の残穢を読んだ、原作いいね
2021/5/25 (火)
TaPLセミナー
虚無
バイト
singapore scala3 tour
PR いくつか出す
2021/5/24 (月)
プログラム理論の授業\
図書館
英語の課題
ScalaPB のドキュメント読んでた
protocol buffer 共有したいんだけど、データ構造を提供したいのではなくそのまま使ってほしいわけなのでsubmoduleとして提供するのが良いのだろうか?
GSoC の諸々読む、payoneer のアカウント設定
Scala3 の OSS
2021/5/23 (日)
TaPL の資料できた、もう夜!?
TaPL 演習問題も解いた。
公理的意味論の勉強
いい箱あったのでトランザクション処理を箱詰めする
2021/5/22 (土)
なんかしゃれこわのまとめとか読んでた...
あまり記憶がない
2021/5/21 (金)
郵便局に授業料免除資料の簡易書留
南の方の郵便局言ったけど小綺麗で良かった
バイト
2021/5/20(木)
そろそろ証明書ほしいのだが...- > もらった
バイト
授業料免除のための各種資料を用意
疲れ果てる
なんか記憶がないな
2021/5/19 (水)
起きたら昼だしダイニングにGの死体
英語の課題
授業
大学入試スキャンダルのNetflix見る
TaPL
2021/5/18 (火)
GSoC 採択されてた
TaPL セミナー
subtyping やるぞ!!
英語の課題
2021/5/17 (月)
頭痛おみ...
書類記入 AND 依頼
授業受ける
区役所にもろもろの書類をゲットしに行く(偉い)
そば食う
蒸気でホットアイマスク良いですね
TaPL むずい
ご飯たべる
nap
TaPL 課題やった(やるだけ)
ちょっと野良でアペ
2021/5/16(日)
プログラム理論
while 言語の表示的意味論 (direct style) を定める semantic function Sds が well-defined であることを示すためのプロセス
TaPL も再帰型から何を言ってるのか全くわからなくなっててやばい
各種書類を印刷した
2021/5/15 (土)
洗濯物を干したり畳んだり、ご飯食べたり
図書館に行く
プログラム理論難しすぎわろた
CRカップ
アペ
寝ようとすると虫が耳元にやってきたりして眠れない、最終的に虫除けを部屋にマイたら虫が出てこなくなったので寝れた
2021/5/14(金)
バイト
サイコパス見た
某実験やる、うーん
授業料免除申請に必要な書類を確認してTODOリストに放り込む、遅いけどやって偉すぎる、偉すぎるMAX
アペ
Amazon.co.jp: KOGARASI Men's Wide Pants, Hakama Pants, Loose Fit, Belt, Japanese Pattern, Solid, Hemp, Japanese Style, Sarouel Pants, Big Silhouette, Black, Costume, Large Size, Room Wear, All Seasons, Loose, Unisex - bule: Clothing & Accessories かった 2021/5/13 (木)
TaPLセミナー
recursive type 入ったあたりから一気に難易度上がってきたぞ...
仮眠
バイト
某実験やろうと思ったけど質問の意味がよくわからなかったので質問メール送った
チキンラーメン失敗して気持ち悪い...
なんかやる気でないなぁ
2021/5/12 (水)
Since working "racism" means more like individual, explicit racism / discrimination, discussing and identifying "systemic" racism is uncomfortable because when I talk about it, a lot people react it with "how did you treated with racism?" (because they think "racism" is saying n-words, or explicitly treaing differently because of race or color).
運動
英語の授業
サイコパス見る
joint seminar
英語は普通に喋れてよかった
test case からの code example mining はそんなにメイントピックじゃなかった
寿司
スーパーで半額になったアップルパイうめえ
プログラム理論
APEX のアリーナモード面白い気がする
TaPL
2021/5/11 (火)
早起きは気分がいい(9時)
セミナ-
昼寝
バイト
授業の予習 (プログラム理論)
APEX 1時間
2021/5/10 (月)
大学関連の事務処理
手のひらの肌荒れずっとひどくて集中できなかったけど、フルコート軟膏買って塗っておいた
図書館論文
はい...手を動かそうなということで python の mutation test framework のドキュメント眺めてる
TaPL 20章
最近目が疲れてる気がする、アイマスクしようかなぁ
2021/5/9 (日)
16時間寝た...
図書館行こうかどうしようかな〜ってしてたら16:00
APEX
みんながAPEXやってるの見ながら論文読み
もう夏だね
2021/5/8 (土)
なんか今日何もやる気おきね〜ってしてたら夕方
眠すぎて寝る
2021/5/7 (金)
バイト
Terraform 完全に理解した
セミナー聞いて、21すぎくらいまで話してた
ご飯食べて
APEX
2021/5/6 (木)
TaPL 発表おわり、match まわりとか、sum type を使って if を derived form にするあたりの証明結構たいへんだったけど色々議論できてよかった
バイト
サイコパス3何故か見始めた
babylonian programming とか code example の動的実行の話題はこの系譜ね
2021/5/5 (水)
scalathon
実装とテストの関連付け、test case prioritization にヒントがあるんじゃないか?
微妙だった...
HPI 面白そうじゃん
研究自体は本当に便利なのかよくわからないけど、テストをprogram comprehensionに使いたいっていうモチベーションは僕と共通している気がする
2021/5/4(火)
シリコンバレーシーズン6見る
なんか疲れてて寝る
起きたら21時、雑談
2時からAPEX season9待機してたけどサーバー落ちてるので寝る
2021/5/3(月)
カーネル法の勉強のための本を借りに図書館に行く
PIN コードってやつが必要らしい、忘れたわ(家にある)
図書館昼間は暑い
研究実験の協力に申し込む
プログラム理論の勉強 (プログラム変換の正当性 on natural semantics)
夜中まで雑談したりAPEXしてた...
ハングル読めるようになってきた
2021/5/2(日)
ずっとだらだらしてた
久しぶりに筋トレしたら猛烈に眠くなって寝る
起きてAPEX
2021/5/1(土)
GW 1日目
11時過ぎまで寝てた
昼過ぎから図書館に行く
英語の課題、Scala Community であったことについて書く
クリプト強い
みんなで 新感染 見る。やっぱ面白いね