人工知能、数学基礎論、数理論理学、計算理論などが好きです。

趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。