ravelll の日記

よしなに

20140308

ゲーデル数化

ゲーデル数とは数理論理学において何らかの形式言語の記号等に一意に割り振られる自然数のこと。
このゲーデル数を割り当てることをゲーデル数化と呼ぶ。

人生初

今日は初めて自転車で伊勢勇に行った。