_ （1/22記：現在作成中の論文の主定理の証明について某氏と議論していた。暗号理論の論文で、ゲームホップと呼ばれる手法を使って証明を段階的に進めていくのだけれども、「◯◯をする時点では△△が××の状態になっている必要がある」という類の制約条件が入り組んでいて、倉庫番のパズルを解いているような気分になった。）
最近のツッコミ↓