プログラミング言語の形式意味論

の検索結果 (43件 1〜 20 件を表示)

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

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

解決

思考のショート

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

締切

哲学的論理学(英: Philosophical logic)は有用ですか?

…大昔は数学やその他の学問も哲学に包含されていたそうですが、歴史が下るにしたがって、各学問分野が独立しつづけ、現代は哲学が扱う分野は残り少なくなっている様に思います。 アリ...…

解決

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...…

解決

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

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

解決

VBとVBAはどちがむずかしいですか?

…VBAは半年近く勉強しています。 VBと言う存在をはじめて知ったのですが、 難しさや活用度からして VB>VBAですか? 実際一般的にはどちらから学んでいくものなのでしょうか? よろしくお...…

解決

本物からはどうしてオーラが出る?

…特にピカソやマティスの鉛筆描きでは、たんなる鉛筆の線から光と言うか、ぼんやりとしたオーラを感じ取ることができます。 しかし、いったいなぜそのようなことが可能なのでしょうか? ...…

締切

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

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

締切

ブルバキ 等号を持つ述語論理について

…ブルバキ数学原論 集合論1 をお持ちの方に質問です。 P55、演習§5、7)Tにおいてシェーマ(R⇔S) ⇒(τz(R)=τz(S))(R、Sは関係式、zは文字)が非明示的公理を与えていれば、x=yがTの定理となること...…

解決

ほにゃらか形而左右学 数学

…1) 「自然は数学で書かれた偉大な書物である」と。(ガリレオ) 2)「自然は数学で出来ている」がや。(何処かで聞いたような) 1)から2)の帰結が肯定されそうですが、 1)では、自然に対する敬...…

解決

洋服コーディネイトのデータベース化

…こんにちは。 洋服が好きで、あれこれと服・靴・小物のコーディネートを考えるのが好きな20代学生です。 カテゴリーが違うよ・・・と思っていらっしゃるかた、そうではないのです。 ...…

解決

ソシュール: 「もの」が先か「言語」が先か?

…ソシュールの入門書などを読むと、以下のように言っているように思えます。 << この世界は、言語によって切り取られるまでは、混沌とした一体であって、個々の「もの」は存在しな...…

解決

オブジェクトレベルとメタレベル

…オブジェクトレベルとメタレベルってなんですか? 簡単におしえてください。 よろしくお願いします…

締切

論理的思考センスのない人は矯正できないか??

…論理的思考センスのなさは、一生治らないものなのでしょうか? 自分自身、よく世間で言われるような食わず嫌いで、数学 が嫌いとかそういうものではないです。 一応、一通り高校では数...…

解決

中学校・国語の教員を目指すものです。

…私は中学校国語の教員を目指し日々勉強をしているものです。 そこで質問なんですが、国語の教員をする上で呼んでおくべき本(森鴎外・ 現代・ 近代・最近の話題作ETC…)というのはあるで...…

解決

数学とは何ですか?

…人によって違うとは思うのですが、 あなたにとって数学とは何ですか、 と聞かれたらどう答えますか?…

締切

VC系の疑問(習得の難易度、生産性他)

…何度も似たような質問をして申し訳ありません。 日曜プログラマー志望なのですが、できるだけ多くのユーザーに"すぐに作れて"、すぐに"、"そのまま"使えるソフトを作...…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴