Alloyさわってみたメモ
ちょっと形式手法ツールAlloyを使ってみたい場面があったのでとりあえずインストールしてみた。昔ちょっとだけ触ったことあるんだけど。
Macだとbrew install alloy
で入るので楽。
とりあえずチュートリアルやるか〜と思ったものの:
Visualizeすると「全部非表示になりました。Themeを設定してください」みたいなメッセージが表示される。うーん。仕様が変わったのかな。
ちょっと形式手法ツールAlloyを使ってみたい場面があったのでとりあえずインストールしてみた。昔ちょっとだけ触ったことあるんだけど。
Macだとbrew install alloy
で入るので楽。
とりあえずチュートリアルやるか〜と思ったものの:
Visualizeすると「全部非表示になりました。Themeを設定してください」みたいなメッセージが表示される。うーん。仕様が変わったのかな。
Clash Royaleのクラン対戦が無限エリクサー(x7)だったときの攻略。
無限エリクサーはとても楽しいが、クラン対戦で4試合やろうとするとカードが被らないように4つのデッキを組まなくてはならない。本記事では前半でポイントを解説しつつ、後半では実際のデッキ例も紹介するぞ。
このルールはエリクサーが溜まるのが速すぎるので、ちょっとでも迷っているとすぐにエリクサーがあふれてしまってもったいない。適当でも何か出したほうがいい。
当然、操作はとても忙しいので、あんまり頭を使うユニットは入れないほうがいい。例えばアーチャークイーンは通常ルールではとても強いが(2022年2月現在)、無限エリクサーだとスキルをうまいこと使うのはすごく難しい。
『The Sunny City』というジグソーパズルをプレイした。Twitterで、何やら秘密の仕掛けがあって面白いと聞いて気になっていたやつ。
日本のAmazonだと8970円とけっこうなお値段なのだが(プレミア価格?)、米Amazonだと$19.99で「まじかよ…」という気分になる。米Amazonのアカウントは前に作ったことがあるので、試しにカートに入れてみると日本にも配送してくれる模様。送料込みで$34.76だった。2022/1/5に注文して、1/24に届いた。
箱を開けるとたくさんのピースが入った袋と、完成図が描かれた紙が2枚。複数人で遊びやすいように2枚入っているようだ。あとは、「完成するまで開けないで」と書かれた封筒が一つ。ふーむ。
ここ数年、月の初めに前月の月報を書いてたんだけど、今年はやめにしようかと思う。
あまり深い理由はないのだけど、面倒になってきたというのが一つで、やめたらどうなるか実験してみたいというのがもう一つ。
代わりに、もっと短いスパンで投稿していきたい。
今年書いたブログを見つつ振り返りを。
イベントというと今年はまあオリンピックかなあ。なんかずっと前のような感じがするが。ワクチン打ったのも今年か。
Shiikaについてはパターンマッチ、enum、Maybe型を実装した。処理系ミートアップのみなさまにはお世話になりました。
去年はHazy IPAを初めて飲んだということもあり海外ビールをいろいろ試してたのだが、海を超える都合上お値段が張るわりに「普通に美味いが、リピートするほどではないかな」というパターンが多く、今年は国内のを選ぶことが多かった。
今年のベストビール。美味しかったな〜。スタウト以外もぜんぶ美味しかった。伝統に敬意を表しつつ、新しい試みも取り入れるというバランス感覚がとても好みです。わがふるさと滋賀県のブルワリーなのも推しポイント。
しばらくHazyとかサワーエールに寄っていたのを、「やっぱ苦いビールっていいな…」と思わせてくれた一本。うまいもんはなんぼあってもいいですからね〜。
今月はコンパイラ全体が一つのRust crateになっていたのを、いくつかのcrateに分割した。依存関係が各ディレクトリのCargo.tomlに明示されるので、だいぶ構成がわかりやすくなったんじゃないかな。
その過程で、一部のメソッドをRustで実装するように変更した。前は「LLVM IRのコードを生成するRustのコードで実装する」というややこしいことをしていたので、これもわかりやすくなったはず。
引き続き放置ゲームのブームが来てる。11月はFE000000とCalculator Evolutionを完走した。FE000000、一貫してクールで格好良かったなあ。Calculator Evolutionは終盤がちょっとだるかったけど、閾値を超えたときのフィーバー感はピカイチ。
Hash#[]
などがMaybeを返すようになった。これがやりたかっただけなのに、enum入れたりパターンマッチ入れたり大変だったなあ。やれやれだぜ。empty?
みたいにメソッド名に?
をつけられるやつ、やっぱ欲しいなと思ったので入れた。Twitterを見てたら、自作キーボード界隈からなにやら可愛いものの写真がRTされてきた。
なにこれかわいい。プラモ?いや、ガレージキットというものらしい。なるほど、パーツが送られてきて組み立ては自分でやると。「ピンバイス」なる工具が必要らしいが、ちょっと面白そうだな。