PCラムダ計算 チャーチ数 自然数定義 読解 入門以前の入口 ほぼ素手でやってみた
計算可能性理論を100年ぐらい前に勉強したときに、帰納的関数論、チューリングマシン、PASCALのサブセット、何とかタブロー(忘れた。なんかカードゲームみたいなので ポストシステム?) だの何だのが全部チューリング完全で計算能力としては同等...
PC
PC
PC【PC】音声の自動テキスト起こしはまだまだ／あーうー皆さん／国会の音声議事録システム
音声認識、やはり難しいようだな。話している内容が全部テキストデータになると利用価値があるとは思ったけど。 いやーしかし政治家の演説は皆癖があって面白いな。あーうーの人もいるし(大平さんか)、…であります皆さん(田中角栄か)は真似したく...
PC【PC】目が疲れるなら画面の明るさ変更／如意スクリーン／白黒反転・ハイコントラスト機能
ブルースクリーン…じゃなかった(このごろみないな) ブルーライトカットで目を保護する話は皆に広まったけれども、そもそも画面を暗くするべし。でも、私のディスプレイの1つは設定ボタンが壊れてて困ってる。ということでフリーソフト導入。 ...