処理系ミートアップ #4
最近やったこと
『定理証明支援系 Coq チュートリアル』に参加した
先週の土日にこのオンラインセミナーに参加してみた。
定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰か詳しい人が要点だけ教えてくれたりしないかな〜。と思っていたところ、まさにぴったりのイベントが。なんていうか、昔ならこういうのは東京まで行かないと参加できなかった気がするけど、家からオンラインで参加できるようになったのは嬉しいね。
日程は5時間 x 2日という長丁場で、説明だけでなく練習問題もあるのでとっても疲れた!でもこういうのって自分で手を動かさないと「わかったような気になった」だけで終わりがちだから、演習があるのはとてもありがたい。
Coqの感想
2021年6月 (Shiika enum)
近況です。
Shiika
今月はenumを実装した。ようやく念願のOption型が使えるようになるぞ…と思いきや、パターンマッチがないのでメソッドが書けないことが判明。道は長い。
ちなみにクラス名はOptionじゃなくてMaybeにする予定。HaskellとRakuくらいでしか見たことないけど、コンピュータぽくなくて好きなんですよね。あとOptionという名前はCLIアプリで普通に使いそうとか、Maybeの方が(日本人にとっては?)初学者に意味がわかりやすいとか。
BiwaScheme
処理系ミートアップ #3
定期ミートアップ 第3回 - prog-lang-sys-ja
最近やったこと
- BiwaScheme (Scheme in JS)リリース準備
- 準備を始めるとついでにこれも入れようかな…となりがち
- 需要があればまたそのうち
Shiika
BASE Cookies(ベースクッキー)感想
これ。
BASEは完全食、つまり人間に必要な栄養素を網羅した食品のシリーズで、このたび新作としてクッキーが出た。他にはパスタとパンがあるんだけど、パスタはあんまり美味しいという話を聞かないのでチャレンジしていない。パン(BASE BREAD)はけっこう食べてて、
メープル≧シナモン≧カレー>チョコ>>>プレーン
という感想。メープルはもうほんとに菓子パンみたいな感じで……いやまあ菓子パンのほうがさすがに美味しいが、もう夜だけど昼飯が遅かったからあんまりお腹すいてないな、でも外出るのも面倒だし、みたいなときに家にあるとけっこう便利。これ一個で妙に食べごたえがあるんだよね。あとは粉のカップスープとかあるといい。
「悪いやつをAIで予測する」のがなぜいけないか
いやーこれはまずい。この件に限らず、「悪いやつをAIで予測する」というのはすなわち
「あなたに似た人が悪いことをしたので、あなたも悪い人と見なします」
ということだからだ。
レストランのランプ
処理系ミートアップ #2
シン・エヴァの封印柱、C言語で操作できることが判明
少し前だが、松江イオンで『シン・エヴァンゲリオン劇場版:||』の字幕版が観れるというので行ってきた。通常版も視聴済みだったが、字幕によって新しく気づいたこともあった。
特に面白かったのがアバンの最後、パリがバーンって復元する直前に
アルゴリズム解析 C言語にシフト
っていう台詞があったこと。複数人が同時に喋ってるので通常版だと聞き取れなかったんだけど、まさかC言語とは…!
その前に
2021年5月 (処理系ミートアップ)
近況です。
Shiika
今月は定数まわりの実装を整理した。これでenumが実装できる…と思ったんだけど、その前に「スーパークラスに型パラメータを書けるようにする」が必要であることが判明した。yak shavingだなあ。しかしまあ先に気づけてよかった。ミートアップのおかげだ。