PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についてのまとめ 初めての人は最初の記事をまず読んで欲しい 前回のおはなし ソースコードはこれ github.com 参考: - 束縛変数 --筑波大学 スコープグラフ(scope graph…

型について HaskellやJavaような言語にある型システムは、以下のような役割があります。 実行前にエラーを検出する。 コンパイラの最適化を可能にする。 コードをわかりやすくする。 依存型は、プログラムが論理的に正しいかの検証をすることができます。(今…

PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についての輪講で、発表の際に使用したスライドの供養(ブログ用に多少修正は加えている) 初めての人は前回のおはなしをまず読んで欲しい ソースコードはこれ github.com…

PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についての輪講で、発表の際に使用したスライドの供養(ブログ用に多少修正は加えている) ソースコードはこれ github.com Agdaを知らなくても、Haskellの入門程度の知識…

PythonアンチたるものPythonのいいところも認識した上で批判すべきだろう。しかしいいところなんてそんなに思いつくものじゃないから一瞬で参照できるようここにメモしておく。 すごいライブラリがいっぱいある 軽めのプログラムならササッと書ける (これし…

昨日の分もまとめて 前回の狂気に記した問題はほぼ解決した。が、そこに全神経をぶち込んでいるため次の行動のためのアクションが遅れ気味。 今日の技能は坂道と右折とバックとクランク。毎日毎日知らん人間にミスを指摘され続けるのは普通に苦行。指摘され…

昨日朝から技能とか言ってたけどスケジュール読み間違えてたぜ 学科だらけの日曜日、もう顔中知識まみれや もう車乗るの？マジ？ぶつけちゃうよ？ カーブができん！！！！！！愛想笑いがつらい！！！！！！やだ！やだ！もう無理 タイヤがどこにあるのかわか…

今日から車校です、嫌だねえ 昼頃からオリエンテーション・適性検査、そのあと学科が2つ。 適性検査の悪意ある抜粋 ・消えたいと思うことがある……はい・ときどき憂鬱になって死にたくなる……はい・世の中が嫌になることがある……はい— opfer.negative (@opfer_…

やってしまいました。実に一週間半も日記をサボってしまいました。 もう細かいことは覚えてないのでざっくりになります。 Reactでグラフ書いたり色々 CopL あんまり進んでなくて今3章の途中です 車校の入校手続き MGS5 たのしー 高校同期とZoom飲み 久々に顔…

8/24(月) 病院から8時に電話、早すぎる。 検査結果は陰性とのこと。安心したが早すぎる。二度寝 水曜から雷雨らしいので洗濯をする。えらいぞ。 車校予約完了 CoPLに手をつけ始める。1章 MGS5 8/25(火) 昼起床 カルビとウィンナーを焼いて焼肉のタレをかける…

8/20(木) 正直よく覚えてない。React書いてMGSして… 夜微熱出した はぁ？ pic.twitter.com/9XZFGFwe78— 車校.adhd (@opfer_10155) August 20, 2020 バカなので風呂上がりだからこんなもんだろとか思ってました。 8/21(金) - めちゃくちゃ体がだるい - 昼、Re…

https://shindanmaker.com/a/821513より引用 オプファーが目を覚ますと、視界は闇に閉ざされていました。オプファーはふかふかのベッドの上に寝かされているようです。すぐ頭元から風に揺られ木の葉が擦れる音が聞こえます。風が自身の体に届かない事と、音…

8/15(土) 友とユニクロとジンギスカンパーティー(通称GP) ユニクロは自分で服を買うという行為を全くしない私のための社会勉強、服は買ったが恥ずかしいので写真はあげないよ これが俺たちのGPや pic.twitter.com/22pZNNUXee— おぎゃあ.adhd (@opfer_10155) …

久しぶりの投稿になります。 激しいレポート責めに耐え切りようやく夏休みになりました。解析ヘタクソすぎて毎日号泣。 やりたいことを整理します。 再就職 次のバイト先を探さなくては数ヶ月後には生存に支障が出るので優先度高めです。 React-dashboard 先…

注意: オートマトン、Rustの超基本文法1は前提知識としています。(実装に対してはオートマトンの知識は必ずしも要求しませんが) 字句解析とは ある言語のプログラムを与えても、PCにとっては最初はただの文字の羅列でしかありません。 これを意味のある文字…

Rustの練習がてら、授業で作ったプログラミング言語処理系のトレースをしようと思います。 授業ではScalaで実装したが、 Built in Rustっていうとすごそうに見えるのでRustで書いていきます。 今回対象とする言語は以下の機能を持ちます。文法はScalaに似せ…

PythonアンチたるものPythonの何が嫌いかと聞かれた際に即答できねばなるまい。 しかし数が多いので一瞬で参照できるようここにメモしておく。同志諸君の不満もぜひとも教えてほしい。 インデントに文法的意味を持たせてほしくない(あくまで可読性の向上とい…

大まかな流れは以下の通り バーチャルキャストを使ってアバター制作・配信モードになる OBS Virtual Cameraを使ってスマホの画面を仮想カメラに出力 Zoomのビデオに仮想カメラの映像を読ませる これだけ OBS Virtual Cameraさえ入れてしまえば簡単よ 私はMac…

あ”あ”あ”あ”あ”あ”あ”あ”あ”あ”あ”授業始ま”っち”ゃう”う”う”う”う”う”う”う”う”う” 僕はゆゆ式を見ながら悶絶していた しかし楽しみが全くないわけではなかった。遠隔授業のおかげで登校する必要がないし、Zoomで遊んだ奴の面白い話が聞けるかもしれないと…

日記とか書く柄じゃないんだけど、書きたいことができたら書く よろしく