yhara.jp

Recent Posts

処理系ミートアップ #4

2021-07-10
Event

最近やったこと

(more...)

『定理証明支援系 Coq チュートリアル』に参加した

2021-07-10
Diary

先週の土日にこのオンラインセミナーに参加してみた。

定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰か詳しい人が要点だけ教えてくれたりしないかな〜。と思っていたところ、まさにぴったりのイベントが。なんていうか、昔ならこういうのは東京まで行かないと参加できなかった気がするけど、家からオンラインで参加できるようになったのは嬉しいね。

日程は5時間 x 2日という長丁場で、説明だけでなく練習問題もあるのでとっても疲れた!でもこういうのって自分で手を動かさないと「わかったような気になった」だけで終わりがちだから、演習があるのはとてもありがたい。

Coqの感想

(more...)

2021年6月 (Shiika enum)

2021-07-03
Diary

近況です。

Shiika

今月はenumを実装した。ようやく念願のOption型が使えるようになるぞ…と思いきや、パターンマッチがないのでメソッドが書けないことが判明。道は長い。

ちなみにクラス名はOptionじゃなくてMaybeにする予定。HaskellとRakuくらいでしか見たことないけど、コンピュータぽくなくて好きなんですよね。あとOptionという名前はCLIアプリで普通に使いそうとか、Maybeの方が(日本人にとっては?)初学者に意味がわかりやすいとか。

BiwaScheme

(more...)


BASE Cookies(ベースクッキー)感想

2021-06-25
Food

これ。

BASEは完全食、つまり人間に必要な栄養素を網羅した食品のシリーズで、このたび新作としてクッキーが出た。他にはパスタとパンがあるんだけど、パスタはあんまり美味しいという話を聞かないのでチャレンジしていない。パン(BASE BREAD)はけっこう食べてて、

メープル≧シナモン≧カレー>チョコ>>>プレーン

という感想。メープルはもうほんとに菓子パンみたいな感じで……いやまあ菓子パンのほうがさすがに美味しいが、もう夜だけど昼飯が遅かったからあんまりお腹すいてないな、でも外出るのも面倒だし、みたいなときに家にあるとけっこう便利。これ一個で妙に食べごたえがあるんだよね。あとは粉のカップスープとかあるといい。

(more...)



シン・エヴァの封印柱、C言語で操作できることが判明

2021-06-04
Misc

少し前だが、松江イオンで『シン・エヴァンゲリオン劇場版:||』の字幕版が観れるというので行ってきた。通常版も視聴済みだったが、字幕によって新しく気づいたこともあった。

特に面白かったのがアバンの最後、パリがバーンって復元する直前に

アルゴリズム解析 C言語にシフト

っていう台詞があったこと。複数人が同時に喋ってるので通常版だと聞き取れなかったんだけど、まさかC言語とは…!

その前に

(more...)

2021年5月 (処理系ミートアップ)

2021-06-04
Diary

近況です。

Shiika

今月は定数まわりの実装を整理した。これでenumが実装できる…と思ったんだけど、その前に「スーパークラスに型パラメータを書けるようにする」が必要であることが判明した。yak shavingだなあ。しかしまあ先に気づけてよかった。ミートアップのおかげだ。

BiwaScheme

(more...)

2021年に使うSnipMate

2021-05-31
Tech

今までいわゆるスニペット系のvimプラグインは使わずに来たのだが、Rustを書くようになって

  • Default::default()とタイプするのが面倒
  • collect::<Vec<_>>とタイプするのが面倒
  • use std::collection::HashMap;とタイプするのが面倒

…のように、スニペットの必要性が分かるようになった。

どのようなプラグインがあるかは以下がとても参考になった。

(more...)

Posts

(more...)

Articles

(more...)

Category

Ads

About

About the author