朝 一限ねむい．統計学なのでまだ聞いてられる． 昼 リアルタイムでレポートを書くやつをした．テスト代わりっぽい．時間に追われながら問題を解いたのは久しぶりだったのでつかれた． 初めて他人のリポジトリにプルリクを投げた．なぜかめんどくさそうなイ…
# 朝 数学の課題．一瞬で終わった． 昼 電気回路の課題を終わらせた．えらい． 夜 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#を書いた．書き始めたら集中で…
朝 講義を受けた．テストできるかわからないので激重レポート来そう．いまのうちに†完全理解†しておきたい． 教員氏が授業中に競プロとCTFの布教をしていた．今日のアンケートで頼もうと思ってたら先に言われた(プロ)．CTFは全然やったことないけど気になっ…
朝 ナショナルジオグラフィックの料理動画を見ていた．いや，料理動画というよりは冒険動画だった．料理が得意そうな男性(C.V. 杉田智和)がボリビアへ行ってコカの葉の収穫をしたり，牛の性器を食べたりするという内容だった．大胆すぎる．コカの葉自体の中…
朝 複素関数論の授業が始まった．たぶんフーリエ変換とかラプラス変換に使うんだろう． 演習問題を解いて提出するのだが，雑に計算してから読めるように整えるのは面倒なので，Mathpixで手書きの式をTeXにおこすことにした．かなりいい精度で数式を認識して…
朝 パズドラを開いたら100回分のガチャが降ってきた．なにこれ 昼 今日から英語の課題であるe-learningを毎日1つ以上やることにした．(見事完遂できれば)期限内に余裕で終わる．やったー コードを書く気が起こらなかったのでThe Rust Programming Languageの…
朝 朝からゴロゴロしながららき☆すたを見ていた．もう2~3回見ているのにまだ面白く見れるのですごい． 昼 今日はそんなに進捗を出す気はなかったのでコンパイラのディレクトリ構造を整理するだけにした． Rust 2018 editionのモジュール構成が一生分からない…
朝 なにしてたっけ パズドラしてたらお昼になってた気がする 昼 らき☆すたを流しながらGeoGuessrをした． ときどき国名とか州名とか国旗とかが見えると一気にやりやすくなるんだけど，文字すら一切見つからなくてただ自然がそこにあるだけという場合はかなり…
朝 通信ネットワークの授業を受けた．スライドを読むだけだった．虚無 ずっとパズドラをしていた．うう 昼 今期初のロシア語の講義があった．ロシア人の教員だった．直前まで全然やる気がなかったのにいきなりやる気がちょっと湧いてきた．なんでだろう． こ…
