アカウント名:
パスワード:
>アセンブリコードの1つ外側の抽象化レイヤーの中にいるように感じるレイヤーが一つか二つかたくさんかは知らないが、最終的にはノイマン型コンピュータで動かさなければいけないから、ノイマン型的な制約はついてまわる。
プログラムそのものが厳密な論理で動くことを要求されるので、曖昧な表現は許容できない。コンピュータで動かすからというわけではなくて、コンピュータで処理しようとする事自体それを目的としているから。#曖昧な表現から自動的に適切で厳密な論理を生成しようというのは寝言。情報量は勝手に増えない。
厳密な論理は言語ぬきでは構築できない。真に言語なしで論理を構築する事の出来る人間はほとんどいないし、いたとして、そのアウトプットを検証する事はできないから。#トートロジーじゃないかとも思える##あるプログラムの資料ですと渡されたものが、ホワイトボードの落書きしかなかったら、泣くだろ
厳密な論理は言語ぬきでは構築できない。
その「言語」が、文字をベースにする一次元的なものではなく、図形をベースにする二次元(or多次元)的なものにすることはできないか、って話ですよね。
例えば、電気回路は、厳密な論理で設計されるわけですが、その設計結果である回路図は、二次元的だったりしますね。
以上の考察から、
真に言語なしで論理を構築する事の出来る人間はほとんどいないし、いたとして、そのアウトプットを検証する事はできないから。
は、正しいとは言えないと思います。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
あつくて寝られない時はhackしろ! 386BSD(98)はそうやってつくられましたよ? -- あるハッカー
プログラムに必要とされている事 (スコア:0)
>アセンブリコードの1つ外側の抽象化レイヤーの中にいるように感じる
レイヤーが一つか二つかたくさんかは知らないが、最終的にはノイマン型コンピュータで動かさなければいけないから、ノイマン型的な制約はついてまわる。
プログラムそのものが厳密な論理で動くことを要求されるので、曖昧な表現は許容できない。
コンピュータで動かすからというわけではなくて、コンピュータで処理しようとする事自体それを目的としているから。
#曖昧な表現から自動的に適切で厳密な論理を生成しようというのは寝言。情報量は勝手に増えない。
厳密な論理は言語ぬきでは構築できない。真に言語なしで論理を構築する事の出来る人間はほとんどいないし、いたとして、そのアウトプットを検証する事はできないから。
#トートロジーじゃないかとも思える
##あるプログラムの資料ですと渡されたものが、ホワイトボードの落書きしかなかったら、泣くだろ
Re:プログラムに必要とされている事 (スコア:2)
厳密な論理は言語ぬきでは構築できない。
その「言語」が、文字をベースにする一次元的なものではなく、図形をベースにする二次元(or多次元)的なものにすることはできないか、って話ですよね。
例えば、電気回路は、厳密な論理で設計されるわけですが、その設計結果である回路図は、二次元的だったりしますね。
以上の考察から、
真に言語なしで論理を構築する事の出来る人間はほとんどいないし、いたとして、そのアウトプットを検証する事はできないから。
は、正しいとは言えないと思います。