昼 My new gear...をした． My new gear... pic.twitter.com/9MNLWHkEuc— いかなご (@ikanag0) June 5, 2020 FILCOのMajastouch Convertible 2だ．メカニカルキーボードは初めてなのだが，打つとほどよい反動があって打ちやすいし，音も気持ちいい．キートッ…

朝 区間推定を一回予習したはずなんだけどすっかり忘れてしまった．カイ二乗分布，t分布の導出あたりからやらないと証明が追えなさそうなのでそのうちやる． 昼 録画を流すだけの授業，早く見たいことがあるので授業開始時間を待たずに公開してほしい．まぁ…

朝 とうとう20歳になった．はやい．今やらないと後悔するだろうな～みたいなことをやっていきたい．いっぱいありそう． 昼 Gatsbyで書いてるｳｪｯﾌﾞｻｲﾄでTypeScriptを使おうとしたが，どういう型を定義してごにょごにょすればいいのかよく分からなかった．3マ…

昼 友達がWebサイトを作ろうとしていたので便乗して自分もつくることにした． 適当に静的サイトジェネレータを調べてみてNext.jsとGatsby.jsが人気らしいことが分かったのでこの辺をとりあえず試すことにした． まずNext.jsでサンプルを動かしてみたのだが，…

昼 型推論の実装をした．想定外の無限ループが発生したりしてしんどかったがどうにか関数定義と二項演算の型推論ができた． 型推論がうまくいくとOk(())が返ってきて，失敗するとエラーを報告する．難しかったけど良くできてるな～ってなった． 夜 テストを…

朝 WSL2を有効化したWindowsでもVirtual Boxが使えるというツイートを見かけたので試してみた． ところがインストール途中でInstallation errorがでてきてしまった．ファイルがこわれているらしい．isoこわれてたのかな．あるいはインストール中，パソコンが…

朝 昨日終わらなかった実装を終わらせた．lexerが前よりは見やすくなった． 昼 授業を聞き(流し)ながら課題を片付けた．「次からは夏学期です」とか言われて時の流れを感じてしまった． 夜 とりあえず配列をevalできるようにした．次はmatch実装することにし…

朝 一限ねむい．統計学なのでまだ聞いてられる． 昼 リアルタイムでレポートを書くやつをした．テスト代わりっぽい．時間に追われながら問題を解いたのは久しぶりだったのでつかれた． 初めて他人のリポジトリにプルリクを投げた．なぜかめんどくさそうなイ…

# 朝 数学の課題．一瞬で終わった． 昼 電気回路の課題を終わらせた．えらい． 夜 OCamlのインタプリタの実装をした．今日は再帰関数(というかクロージャ)．OCamlの再帰関数は定義した時点ではその関数が環境に束縛されていないので特別扱いする必要がある．…

朝 クラフトの不等式の証明をした．課題だったので．先週分からなかった式が分かってうれしい． 昼 実験．機械学習用のデータ整形してたら夕方になってた．Pythonをまだまだ自由に書けないので...... ディレクトリとかファイルとかをスクリプトでいじるとき…

朝 クラフトの不等式の証明をした．課題だったので．先週分からなかった式が分かってうれしい． 昼 実験．機械学習用のデータ整形してたら夕方になってた．Pythonをまだまだ自由に書けないので...... ディレクトリとかファイルとかをスクリプトでいじるとき…

朝 昨日の夜ベッドに入ったときにぼんやりしていると，関数適用のパースの実装が突然降ってきた(ラマヌジャンかな?)ので，朝起きて実装した．まだ終わっていない． 昼 関数定義と関数適用が通った！きもちえー ガハハハ pic.twitter.com/uzy4OV4Afl— いかな…

朝 情報理論の演習問題をした．Pythonにやらせてぇ 昼 SECCON Beginners CTFにWani Hackaseとして出た．まだ開催中なので詳しいことは書けないが，自分は全然解けていない．椅子をひたすら温めている． 夜 椅子を温めて一日を終えるのは悲しいのでインタプリ…

朝 NotionというWebアプリを使ってみた．文章を書いたり，Todoリストを作ったり，簡単な表計算ができる．いろいろまとめるのに使えそうだと思ったのだが，自分でまとめないといけないのがめんどくさい．これは当たり前なのだが，面倒があると使わなくなって…

朝 数学で，定義を誤読してしまっていて1時間くらい溶かしてしまった．かなしい． 昼 電気回路の課題をした．複素数でごにょごにょするのはいろいろ便利でいいのだが，ときどきえげつない計算をさせてくるのできびしい．専門分野にはできないなと思ってしま…

朝 ランニングした．つかれる． いつも15分くらい走るとへとへとになってしまってそれ以上走れなくなってしまう．もうちょっとペースを落として走るべきかな...... 昼 実験の授業があった．途中，1時間弱くらい教員氏が何もしゃべらなくなって「とりあえず資…

朝 ごろごろしながらニコニコ動画を見ていた． 飽きたのでおもむろにThe Rust Programming LanguageのTrait Objectの章を読んだ．Rustにおいてジェネリックな関数はコンパイル時に型引数をもとにして具体的な型に対するコードに変換されるので抽象化のコスト…

朝 キーボードを買おうと思ってずっと買わずにいる．今日の朝もずっと漁っていたがこれだ! というやつが見つからない．よさげなやつがあっても在庫がなかったりして悲しい．ヨドバシとかに行って実際に打てたらいいんだけどなぁ． 昼 今日は全然やる気が出な…

朝 予防接種を受けた．自分たちの世代は副作用か何かの影響で打てていないやつがあったらしい． 昼 授業を受けた．1週間があっという間に終わっていくなぁ... Brainfuckインタプリタの続き．もうすぐ書き終わりそう．ネストしたループがちゃんと動くか不安だ…

朝 ゲームしてたらおひる... 昼 プログラミングの授業が20分で終わった(速い)．それから課題をぴゃーっとやってしまった．授業の進度が初心者向けにしては速い気がする．自分がC言語全然分からん時期にこの授業受けてたら心折れてたかもしれない． 夜 おもむ…

朝 統計の授業があった．ポアソン分布と指数分布をつい混同してしまっていたがやっと区別がついた． 昼 情報理論むずかしい．おすすめされた本を買うか...? 夜 最近は出された課題をこなしているだけで時間が経ってしまう．やりたいことをもうちょっとやりた…

朝 最近暑くなってきた．勘弁してくれ～～ 昼 実験で画像処理を機械学習でやるやつを実装しないといけないらしい．今日はサンプルコードを動かしてみようの会だった．機械学習は高校生の頃にやろうとしたけど環境構築でつまづいて何もできなかったという思い…

朝 プリンセス・プリンシパルの続きを見た．衝撃の事実が次々と明かされていく．あと2話，どうなるのかたのしみ 昼 学生LTを見た．指で机をなぞって入力するデバイスがいいと思った．ディスプレイ上に文字を書くのはペンの接地面と描画されて見える面が離れ…

朝 Amazon Prime Videoに「プリンセス・プリンシパル」があったので見ることにした．前に1話だけ見たことがあったけどシリアスだからかやめてしまったけど，なぜか気が向いたので見ることにした． 夕方までに6話くらいみたけどかなりいい．ストーリーも面白…

昼 今日のプログラミング演習の内容はポインタだった．高校生のときにやったときはなかなか理解できなかったなぁみたいなお気持ちになった．ポインタ自体はそんなに難しい概念ではないけど，C言語のポインタに関する記法がややこしすぎるので無駄に難易度が…

朝 英語してかぐや様見てたらお昼． 昼 昨日夜寝る前に初めてCTFをした．昼もその続きをした．初心者向きということでCpawCTFをしてみた． 知ってる知識とか勘で解けるものもあったが，FTPとかSQLインジェクションとかは初めてだったのでWriteupを見るなどし…

朝 なにしてたか完全に忘れた．ア 昼 引き続きパーサコンビネータを書いていた．[1,2,3]みたいなやつをパースできるようにはなったが，[1,2,3,]もパースできてしまうのでまずい(パースできてほしくない)．バックトラックを実装しないといけなさそう． ボルシ…

朝 起きてごはんを食べたらすぐに課題のe-learningをした．丁寧な暮らし． Twitterを眺めていたらこんな記事が流れてきた． beza1e1.tuxen.de ある男性が車でスーパーに行ってアイスを買うのだが，他の味のアイスでは問題ないのにバニラアイスを買ったときだ…

昼 化物語の1話と2話を見た．テンポがよい． これは適当な推測だけど1話のテンポがよいアニメは名作であることが多いんじゃないだろうか．知らんけど． ちょっとF#を書いた．チンタラ書いてるので進捗さん...という感じ． 夜 ABC165に出た． B問題からさっそ…

朝 もう5月だ．早すぎる．1年の3分の1が終わってしまった．もっと適切に時間を使えた気もするけど最適に時間を使うのはそもそも無理なんじゃないかと思う． 昼 ほげ～って言いながらゲームしてたら夕方だった．諸行無常． 夜 F#を書いた．書き始めたら集中で…