: 定理証明支援系と向き合っている
やったこと Quine AC 2024 今日はBallerinaでQuineを書いた。 Homebrewでインストールできる言語で数を稼いでいきたい。 研究 久し振りに定理証明支援系と向き合っている。 やはり難しい。 というか難しいことに取り組みすぎな気がする。 うーん。
Post List [15/152]:
: DAY 3 - Arturo (Quine AC 2024)
DAY 3 Arturo というプログラミング言語があります。 LogoやRebolの影響を受けたというプログライング言語で、: で代入や [ ... ] のブロック構文などが特徴な気がします。 Rebolっぽいのだけど、Rebolほど原理主義じゃない感じ。 Homebrewで…
: 異常に疲れてる
やったこと Quine AC 2024 今日はArturoでQuineを書いた。 Homebrewでインストールできるので、動かすのが簡単で良い。 日常 異常に疲れている気がする。 何かしら休んだ方がいい感じ。
: DAY 2 - 11l (Quine AC 2024)
DAY 2 Quine Advent Calendar 2024のDAY 2です。 11lという言語があります。 Pythonで実装された言語で、C++へと変換されてコンパイルされるみたいです。 1文字のキーワードとインデント構文が特徴だと思います。 キーワードが1文字なので怖…
: サーベイを発表した
やったこと Quine AC 2024 DAY 2は11l。 相変わらず謎のマイナー言語。 https://x.com/make_now_just/status/1863469497748951547 C++に変換されてコンパイルされる都合上、mac上だとC++でのコンパイル時…
: DAY 1 - Shiika (Quine AC 2024)
DAY 1 Quine Advent Calendar 2024のDAY 1です。 10年前にQuine Advent Calendar 2014をやったので、10周年ということで復活してみました。 やることは10年前と変わらず小ネタを出していく感じだと思います。 というわけで…
: Quine AC 2024を始めた
やったこと Quine AC 2024 やっていきます。 やっていくぞ！ https://qiita.com/advent-calendar/2024/quine とりあえず1日目はShiika。 https://x.com/make_now_just/status/18631…
: ランキングデュエルに出ていた
やったこと OCG ランキングデュエルに出たら0-4だった。 俺は弱い。 ありえないくらい事故ったのでどうしようもなかった。 M∀LICEだと仕方ないのだろうか‥‥。 研究 必死にスライドを作っている。 間に合ってくれ‥‥。
: 研究を進めてる
やったこと 労働 色々と成果は出ている。嬉しい。 やることがあるときと無いときの差が激しい気がする。 研究 やることが急に増えたので必死に進めている。 間に合うのだろうか‥‥。
: うえきの法則を読んだ
やったこと 日常 うえきの法則が全巻無料公開されていたので一気に読んだ。 王道って感じで面白かった。 しかし短いな‥‥。 あと最後までレベル2はなんかしっくりこない概念だったな。 佐野と植木以外のレベル2がとって付けた感じがすごい。戦闘は面白いので大した問題ではないのだが。 名…
: onamaeを公開した
やったこと nominal onamaeという名前で公開した。 https://github.com/makenowjust-labs/onamae READMEも色々書いたので分かりやすくなっているはず。 それはそうとGitHubのMarkdownだと \mathbb が黒板…
: 進捗報告をした
やったこと 研究 進捗報告をしていた。 もう少し上手くやりたいなぁという気持ち。 どうにかしなければ。 nominal ダブルワード言語を実装したら色々と問題が見つかったので直していた。 nominalで注意すべきところが分かってきた気がする。 一応リポジトリを公開 したのだけど…
: νL*を実装した
やったこと nominal 気合いでnominal版のを実装した。 一応と呼ばれることになっているが、値をnominalにしているだけで中身は普通のと変わらないと思う。 地味にons-hsのquotientの挙動があやしい感じがするけど自信がない。 単に自分の理解不足な気もする…
:
2024/11/24 title: ティアキンをやっていた やったこと ティアキン やる気が出たのでやっていた。 とりあえずやることを見失わないために服を全て集めた。 やってなかった闘技場をいくつか制覇して、ウオトリー村の海岸に沈んでいた風タクのエビ衣装を取ってきて、ハイラル城…
: TERMINAL WORLD 2の発売日
やったこと OCG TERMINAL WORLD 2の発売日。 そこまで期待してなかったけれど、全部パラレルということもあって開封自体は楽しかった。 パラレルのシートの雰囲気が嫌いじゃない。 あとメタトロンの影霊衣のQCが当たった。嬉しい。 ついでに遊戯王の日にも参加してきた。…
: 労働を続けていた
やったこと 労働 悩んでいたことが一つ解決したのでやった甲斐があった。 この調子でやっていきたい。
: 実験をしていた
やったこと 研究 実験スクリプトを書いて回してみた。 まあどうにか成果と呼べるのかなぁ‥‥、という感じ。 もう少しどうにかしたい気もするのだけど、アイディアがない。 思ったよりも難しいのだなぁ。
: 風都探偵 スカルの肖像を観た
やったこと 風都探偵 劇場版を観てきた。スカルの肖像。 タイトルから分かる通りビギンズナイトの話。 仮面ライダーWはつくづく愛されてるなぁと感じた。 アニメの方もいい加減見るべきかもしれない。 想像以上にフィリップがフィリップで良かった。 翔太郎も翔太郎だった。すごい。 いい作…
: マスターになっていた
やったこと MD 適当にやっていたらマスターになっていた。 使っていたデッキは天盃龍。 全然負けなかったが面白かったかというと微妙。 EX0フェスもちょっとやっていた。 いまいち面白さが入ってこない。 そんなフェス。
: 親知らずを抜いた
やったこと 日常 2本目の親知らずを抜いた。 まだ痛みがひどい。 休もう。 研究 どうにか実装できた。 結果は予想していた通りだけど、とりあえず動くようになったのは偉大。 ここからどうやって進めていくか‥‥。