現在2020年2月8日21時40分である。麻友「今日は、かなり研究してたわね」私「倉田令二朗さんの数学基礎論シリーズを16ページくらい読んだ。推移的閉包（transitive closure）という言葉を、初めて知った」若菜「16進数学が、進んでませんが」私「そうなんだ…