ライスの定理について
はじめに ライスの定理とは，簡単に言ってしまうと「プログラムに関する述語の決定不能性をまとめて示す定理」 のことである． Haskellなどでプログラムを書いていて，関数に対する同値性などを...
16
10
Comment1
4 search resultsShowing 1~4 results
Stocked
You need to log-in
文字列と自然数の全単射を構成する
概要 ある記号(の集合)から生成可能な文字列と自然数との全単射を構成したい 有名なゲーデル数によるコード化は全射ではない 中国の剰余定理に根ざしたβ関数のほうも全射ではなかったはず 文字列に$ｂ...
12
7
Comment0
計算論的学習理論入門
FUJITSU Advent Calendar 2017 part2 の21日目の記事です． この記事の内容は個人の見解であり，所属する会社，組織を代表するものではありません． ことわり この記...
43
25
Comment2
カタラン数は語る（Haskell で Catalan数的組み合わせを生成する関数）
概要 カタラン数は，CSと関わりが深いステキな数 カタラン数の式を観察すれば，カタラン数で表現されるような組み合わせそのものを生成できる関数が作れる 数学楽しい カタラン数とは？ Qitta に...
5
3
Comment0
4 search resultsShowing 1~4 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles