>>27
ではラムダ計算や帰納的関数で、並列・分散アルゴリズムが綺麗にかける
かな？高級言語のプログラムをラムダ計算にコンパイルする（コード化する）
というのじゃなくって、AND並列やOR並列、同期、非同期通信などを直接的に
記述できるか？ということ。決定版と呼べるようなものは、まだ知られてな
いはず。その意味で、情報科学の基礎理論は数学の範囲を超えて発展する
余地があるってわけ。