計算可能関数
性質１．基本算法が含まれている
1. 定数関数
2. 射影関数
3. 後置関数
性質２．閉包である
性質３．万能関数 枚挙性がある
性質４．流れの制御・選択
性質５．パラメータ性
Churchの提唱
計算可能な手続きと性質１～５を満たす算法の族は一致する。
帰納的関数論
評価可能な全値関数全てに対し、ある整数に対しf(m)=mが成立する。
計算可能なアルゴリズムの族
１．TM (Turing Machine)
２．λー算法
３．μー再帰関数
４．一般帰納的関数
-
Qt はまってます。Mac でも書いたアプリがコンパイルできて、しっかり動くのを確認しました。このあいだ Chitubox が Qt 使ってるのを知ってうれしかったです。 Mac でもそのまま動くんですが、アプリのアイコンの設定はプラットフォーム依存です。 公式マニュアルでも設定...
-
コンデンサマイク 極性があります コンデンサマイクがようやく届きました。モジュールではないのでそのままでは信号が弱いので使えません。信号を増幅する必要があります。 ちょっとした手間ですが、首尾よく動いてくれました。この回路の応用で、使えるマイクが出来ます。 ... -
Flask/SQLAlchemy 使ってる方、jinja で困ってませんか？ 本体で Python の関数を書いてもいいんですが、テンプレートでも関数が呼べます。 日付を出したい場合、フォーマットなら strftime() が使えます。 わざわざ文字列を作って渡す必...
