ravelll の日記

よしなに

2014-03-08から1日間の記事一覧

20140308

ゲーデル数化 ゲーデル数とは数理論理学において何らかの形式言語の記号等に一意に割り振られる自然数のこと。 このゲーデル数を割り当てることをゲーデル数化と呼ぶ。 人生初 今日は初めて自転車で伊勢勇に行った。