ゲーム体験を言語化していくシリーズ 今回は名を消した男について、 ここで私が書くことは他のレビュワーも言ってそうなことばかりになりそうです。しかしこれって実はすごいことなのかもしれません。多くの人に一律的に肯定的な感想を持たせるのは簡単なこ…

やったゲームの感想を言語化していく試みです。 今回は7月くらい？にやったライザ3。 ひとこと感想 : よかった 戦闘はよりスピーディで気持ちよく 確か新要素だったと思うオーダードライブのおかげで戦闘のテンポがさらに向上、スピード感のある爽快な戦闘に…

卒論・学会で2度agdaに関する論文を書いたわけですが、TeXとかいう産廃のせいで酷い目に合わされたので、二度とあんなものに時間を取られないようメモを残す。 論文の性質上、ソースコードを載せる必要がある。それに色を付けたいとのことliterate agda(lagd…

なんと前の記事から1ヶ月以上経っているらしい。いや、真面目な記事を書こうとはしているんだが未だ下書きで温まっている。なので今月は最近のことを書き残すので許してほしい。 論文アクセプト！最終稿を提出 年明けまで書いてた論文が査読を通りました。や…

ほんとは年明け前に書くべきだったんだろうが、論文の締め切りが年明けすぐだったもので無理でした。Agda+TeXで日本語論文を書くときの注意点は今度まとめて記事にしたいね。 去年は世界が広がった年だったと思う。プログラミング関係でもないことだけど、今…

1のつづきです。PS中心 ・ロストジャッジメント海藤編 DLCのやつ。流石に本編ほどのボリュームはなかったけど、キムタクシリーズの敵役は毎回ホントに怖い。特にこのストーリーのラスボスはまさに「吐き気を催す邪悪」で今年で1番ドン引きした。悪の組織が分…

今年もいろんなゲームにお世話になりました。ゲームは人生であります。年末は遊んだゲームで一年を振り返りましょう。 今回ではプレステ以外のをまとめます。 ・ポケモンレジェンズ アルセウス DSダイパ以来のポケモンシリーズ。夢のポケモンオープンワール…

Abstract TeXのような組版処理システムは、ユーザーが書いたマークアップ言語を処理して、PDFを生成するシステムである。特にTeXは、理工系分野において論文、レポート、スライドなどの用途に広く用いられており、理系大学の新入生たちの一定数が、悪いお兄…

TOEICを受けにお台場へ。結構いろいろあって楽しかった。 お台場海浜公園。そういえばペルソナ5でそんなところがあったような…と思い出し、調べてみれば案の定。TOEIC会場に感謝。 久々に海を見た。なんという開放感、リフレッシュとはこういうことか。 試験…

今月も真面目な記事を書く余力は残っていなかった。だって疲れるし… 3月はきっと少しくらい余裕ができるといいなあ。 さて今月はタイトルにもある通り「私が松屋よりうまいネギ塩豚丼を作れること」を構成的に証明します。別に松屋に恨みとかないですホント…

最近は課題とかライザ２やったりとかで濃い記事を書く時間が年末年始くらいしかなかったので、今月はまだ投稿してないらしい。 ガチ記事を書く余力ないし、飯ブログとか書いてみたくなった。 そんなわけで今日の昼飯。 所詮自炊なので面倒なことはしない。 …

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で遊んだ奴の面白い話が聞けるかもしれないと…