構文的な対象〈テキスト〉が、 整形式〈well-formed〉 -- 文法に則っている。 解釈可能、可解釈〈interpritable〉 -- 値を（超越的には）求めることが出来る。有意〈significant | meaningful〉と同じ。 型つけ可能〈typable〉 -- 型を割り当て可能 型つけら…

結局、多義語の意味をキチンと区別して分解して丁寧に解釈する。関数： 関数 基本テキスト 定義したテキスト 符号 名前 基本関数名 関数名 エントリーポイント／インデックス 関数記述 - ラムダ関数項 関数オブジェクトコード 関数本体式 - 項 関数本体コー…

関数名＝関数記号＝関数インデックス＝エントリーポイント 関数＝関数実体＝関数名の意味＝写像 関数定義＝関数の定義体＝関数のソースコード＝関数のテキスト＝関数の式 関数コード＝コンパイルされた関数＝バイナリの関数＝関数のオブジェクトコード 関数…

計算的な万能性で、 選択肢1: 万能対象＝万能コード領域 選択肢2: 万能対象＝万能データ領域 が考えられるが、ノイマン方式の原理により コード領域＝データ領域なので、通常は万能コード領域と万能データ領域は区別しない。Uが万能データ領域であることは、…

まず、Bekicの発音、 https://www.howtopronounce.com/bekic/ ベキクでいいようだ。関連する記事は、 http://d.hatena.ne.jp/m-hiyama-memo/20131001/1380609526 双コンウェイ圏の構造を探る http://d.hatena.ne.jp/m-hiyama-memo/20080527/1211875554 注目…