Masanori Ogino 𓀁 omasanori@mstdn.maud.io

日本語版Wikipediaだとコアントローが使われているけれど国際バーテンダー協会 (IBA) のKAMIKAZEのページ http://iba-world.com/new-era-drinks/kamikaze-2/ だと分量が少ない以外は全く同じレシピ

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

カミカゼ (カクテル) - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%9F%E3%82%AB%E3%82%BC_(%E3%82%AB%E3%82%AF%E3%83%86%E3%83%AB)

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

バナーにレシピが書いてあったので、ああそっちかと思ったけど違うのかもしれない

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

KAMIKAZEってカクテルのKAMIKAZEか

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

そういえば、ヨーロッパでスマートフォンコーナーに行くと色々なメーカーのNichePhoneみたいなやつが並んでいて、一台十何ユーロ～何十ユーロかで買えるという世界観が展開されていて、日本と結構違うなと思ったという体験を書きそびれていたので今書きました

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

pai2 at mua2 a cet2 kaik - 一葉の異国（@yasusho） - カクヨム https://kakuyomu.jp/works/1177354054886839015/episodes/1177354054886874467

牌言集書をひたすら引かないと全く読めない……

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

#6 Сарша каршэрл - ボクたちの言葉が忘れられるこの世界は間違っている（Fafs F. Sashimi） - カクヨム https://kakuyomu.jp/works/1177354054886810570/episodes/1177354054886833310

この作品を読み解く上で便利な某ページがどこにあったか忘れてUndeerlと悠里包括Wikiとリパライン語公式サイトを探し回る羽目になった

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

理kestine'a、「大学に所属する者」という微妙にゆるい定義（大学生、大学院生、大学教員などは皆kestine'a）なのなんとなくすき

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

理lerler、響きがなんか良い

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

dschepler/coq-sequent-calculus: Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic https://github.com/dschepler/coq-sequent-calculus

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

amutake/actario: Verification Framework for Actor Systems on Coq https://github.com/amutake/actario

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

Alloy*—A General-Purpose, Higher-Order, Relational Constraint Solver https://aleksandarmilicevic.github.io/hola/

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

『定理証明手習い』 – 技術書出版と販売のラムダノート https://www.lambdanote.com/collections/littleprover

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

The Science of Deep Specification https://deepspec.org/main

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

DeepSpec/dsss18: Lecture material for DeepSpec Summer School 2018 https://github.com/DeepSpec/dsss18