[logic-ml] 前原昭二先生について

[Kazushige TERUI]

logic-mlのみなさま

前原昭二先生がお亡くなりになってもう30年になります。
数理論理学に対して多大な貢献をされたことは、みなさまご存知のとおりと思います。

私自身は生前おめにかかったことはないのですが、
先生の最晩年の仕事（カット除去定理の代数的表現）の延長線上で
仕事をしたこともあり、先生についてより深く知りたいと思うようになりました。

よろしければ前原先生の業績や個人的な思い出について
語りあいませんか？

直接このメーリングリストにご寄稿いただいても構いませんし、
あるいは
terui at kurims.kyoto-u.ac.jp
にメールをいただければ、後日要約を報告させていただきます。

どうぞよろしくお願いします。

京都大学数理解析研究所
照井一成
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20220626/d3e08014/attachment.htm>