プログラミング言語の形式意味論 の検索結果 (42件 1〜 10 件を表示)

構造体の変数の値を、動的に取得する方法を教えてください

…C言語で、構造体の変数の値を取得したいのですが、その際、 他の変数に格納してある文字列を元に動的に行いたいのですが、可能でしょうか? イメージとしては、 struct Entry{ char name[20] ; ch...…

解決

思考のショート

…「考えて居る、自分のアタマについて考える」 例えば、「自分のアタマの思考過程はどうなっているか?」について考える。 これは、動いて居る、電気回路が、ショートするコトに似てい...…

締切

1+1=2、2×3=6の証明のための、3変数関数fでの定義と帰納的定義は同値?

…過去の質問「1+1=2の証明って?」 http://oshiete1.goo.ne.jp/kotaeru.php3?q=217225 を精読しました。 過去の質問では、小さい自然数の定義した上で、プラスの定義を3変数関数fを使って、 ●f(n,m,m)=n ●m...…

解決

E[1]-E{1}

…E[1] -E{1}は、自己プログラミングした論理思考で動作するロボット(atomonados)の言語である。 私がロボット(自分)に対してはプログラミング(表現形式の決定)する神である。 直訳すると、「存...…

解決

現象学の 本質直観を くわしくおしえてください。

…現象学の 本質直観を くわしくおしえてください。 応用する以前のフッサールにおける概念として 詳しい説明をお願いできますか? ほかの人からの評価についても 知りたいです。 とい...…

解決

英文の意味が分かりません。

…言語に関する文章の一部なんですが、次の二つの【 】部分の意味が分かりません。 (1)【In virtue of knowing the word】, we are able to apply it correctly to anything that can be categorized as a tree (【in contrast ,say,t...…

解決

セマンティックスの概念とは?

…題記の通りなんですが、私はこの辺りの分野には詳しくないため、セマンティックスと言う言葉の概念を、できれば身近な例で説明して頂ければと思います。 シンタックスと対比する言葉...…

解決

SE二年目、仕事が虚しい、目標が無い

…なんだろう? この虚しさは。 仕事に就いて一年が経って疑問に思うことがいくつかあるので教えて欲しい。 まず、SEとして広く社会に通用するスキルっていったい何なの?ということ。 正...…

締切

プログラムの形式的証明は本当に使い物になるのでしょうか?

…近年プログラミングの世界でも VDM(http://en.wikipedia.org/wiki/Vienna_Development_Method) に代表さ れる形式的証明がもてはやされ始めました。 でも私には、プログラムの形式 的証明は、うさんくさい...…

締切

ソシュールの《言語記号の恣意性》は 神話である。

…ソシュールの《言語記号の恣意性》については まだ或る程度の《定説性》が残っていますが これが ただの神話であることを次のように証明します。 当否・成否を問います。 まづ先にそ...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ