: テラスタルフェスexを開封した
やったこと Quine AC 2024 今日はUnison。 思想がつよめでしんどかった。 悪い言語ではないと思うんだけど、実践的にこれを使うことは無い気がする。 コードを見て気付いたのだけどHaskellで実装されてるっぽい。 ポケカ テラスタルフェスexがなぜか買えたので開…
Post List [23/160]:
: DAY 5 - ChucK (Quine AC 2024)
DAY 5 ChucKというプログラミング言語があります。 音が鳴る言語です。 全体的には普通の命令型言語の雰囲気。ただn秒止まるみたいなことが簡単に出来るし、並列に1ステップ進むみたいなのがあるのが音が鳴る言語っぽさがある。 あと代入が => になっている。非エンジニア向けを…
: ココスに行った
や ったこと Quine AC 2024 今日はChucKで。 わりと有名な言語な気がしていたので、書いていなかったことに驚いている。 https://x.com/make_now_just/status/1864545236103647576 MD よく分からない負け方をしてい…
: DAY 4 - Ballerina (Quine AC 2024)
DAY 4 Ballerinaというプログラミング言語があります。 HTTPサービスとかgRPCの公開をファーストクラスにサポートしているのが特徴。 構文はC#とかJavaっぽい感じ。フローチャートで表示・編集する機能もあるらしいです。 JVMのバイトコードにコンパイルされて実…
: 定理証明支援系と向き合っている
やったこと Quine AC 2024 今日はBallerinaでQuineを書いた。 Homebrewでインストールできる言語で数を稼いでいきたい。 研究 久し振りに定理証明支援系と向き合っている。 やはり難しい。 というか難しいことに取り組みすぎな気がする。 うーん。
: 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が当たった。嬉しい。 ついでに遊戯王の日にも参加してきた。…
: 労働を続けていた
やったこと 労働 悩んでいたことが 一つ解決したのでやった甲斐があった。 この調子でやっていきたい。