昔話、つづけますか

>>181
>80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、
信州大学の中村八束さんでしたっけ？

>ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
萩谷昌己氏ならよく存じあげていますよ
7bitsのThemskyのm氏でしょ
「止まれ！」は実にいい解説文でしたね
巨大数愛好家の人はぜひ読んでほしいな
https://www.youtube.com/watch?v=M8KNbSKEH08&;ab_channel=12129momo