結合子とは
結合子の情報をYahoo!JAPANで検索
・結合子 とは
結合子. 読み方:けつごうし 【英】connector. 結合子とは、フローチャートを描く際に使用する記号の一つで、 ... その時、途切れる部分に出口としての結合子記号を、そして、新たな用紙の部分に入り口としての結合子記号を明記する。 ...
・構文解析器結合子
指定した構文解析器を 0 回以上繰り返す構文解析器結合子 many と 1 回以上繰り返す many1 を定義する. ... リスト版の構文解析器結合子 alt で作られた構文解析器は与えられた 2 つの構文解析器の解析結果をすべて連結 ...
・結合子 (connector) けつごうしとは: - IT用語辞典バイナリ
その時、途切れる部分に出口としての結合子記号を、そして、新たな用紙 ... 結合子とは、フローチャートを描く際に使用する記号の一つで、一まとまりで表しきれない場合に「続き」を示すための記号のことである。 ...
・論理結合子
5つの論理結合子. 論理結合子としては,以下の5つを用いる.p, ... 5つの論理結合子. 論理結合子としては,以下の5つを用いる.p,qはそれぞれ命題を表わす. 否定:~ ~p「pではない」 連言: pq「pかつq」 選言: pq「pまたはq」 ...
・Philosophia BBS Topic 3011
『論理学の哲学』(S・Haack)３ 文結合子. Subject ... ２ 結合子の意味 tonk. Author ... 「すべての犬は動物である」というのをｘ(FｘＧx)のように記述するけれど、これは「犬」と「動物」を結合子で結んだものではないだろうか? ...
結合子の情報をGoogleで検索
結合子ウォッチ！：その他リンク集
・パンプス
・潜望鏡
・軍功
・宿敵
・学芸
・光熱
・人材
・暗雲
・こんばんは
・砂山
・日常言語と論理的分析
... ただわたしが言いたいのは、「両方とも奇人である」という命題を分子命題とみなし、「夫は奇人である」という原始命題と「妻は奇人である」という原始命題と「かつ（＆）」という論理的結合子に分析することは、思っているほど単純ではない ...
・2008-10-08
... 論理結合子Tonkを許す関係論理 Tonk-logic" の論理的帰結関係は決して ad hoc ではない、 結合子Tonkを許すべきかという問うことは、"Tonk-logic" を論理として認めるべきかどうかと問うことである、 と主張。 ...
・[哲学][logic][論文][読了] ”What’s wrong with Tonk(?)” ...
JPL (2005)34:217-226。 論理結合子Tonkを許す関係論理 Tonk-logic" の論理的帰結関係は決して ad hoc ではない、 結合子Tonkを許すべきかという問うことは、"Tonk-logic" を論理として認めるべきかどうかと問うことである、 と主張。 ...
・[論理]形式システムにおける証明の概念
... その意味は、命題の内容にかかわるものと、論理結合子と呼ばれる記号の意味（かつ、または、ならば、〜でない、など）にかかわるものとで若干の違いはあるものの、「真である」ということを考えるときは、意味というものが深く関わってくる。 ...
・2008-09-22
... 二座の論理結合子 Tonk は、 導入：任意の B について、Aから が導入可能 除去： から B が導出可能 Tonkは、 ダメット の論理結合子の導入ルールの要請を満たしながら、一方で（ 古典論理 上で）体系を自明化する（矛盾を招く）ことが知ら ...
・[哲学][logic][論文] ”What’s wrong with Tonk(?)” (Roy ...
... 二座の論理結合子 Tonk は、 導入：任意の B について、Aから が導入可能 除去： から B が導出可能 Tonkは、 ダメット の論理結合子の導入ルールの要請を満たしながら、一方で（ 古典論理 上で）体系を自明化する（矛盾を招く）ことが知ら ...
・[Haskell]モナディック・パーサー
「 ふつうのHaskellプログラミング 」や 「 構文解析結合子 」の元ネタは、どうやら「 Monadic parsing in Haskell 」のようです。(さらに元ネタは Parsec ですかね。) このオリジナルは、MonadPlus の部分などが古くさいのですが、分りやすいです。 ...
・零度、あるいは氷点下へ、極北へ（露口啓二写真展雑感1）
写真と言葉とを結びつけている、「意味」という名の結合子を、 零度、あるいは氷点下へと凍結させて 破砕したとき 原子結晶のキラメキ、光の粒子の奔流が 降る降るまわりに、 ふるべゆらゆらとふるべ 死者の気配 写真の気配り 土地の音を念写する ...
・3not problem
... のような回路操作子 (->-) 素子接続結合子，-|- 素子積載結合子 スプリッタ(split 3) +---+ | +--->a | | | +--->b a--->+ | | +--->c b--->+ | | +--->a c--->+ | | +--->b | | | +--->c +---+ 素子接続結合子 GT1 ->- GT2 +---+ +---+ | +---> ---> ...
・メタルギアソリッドとか。
... Word のオートシェイプでは”他ページ結合子”になっていると反論されたり。イライラ。 JIS X0121の結合子記号はあくまで○に識別子で、他ページの場合はコメントにするんですよね。 もう、本当にダメだなあ。 Word 。 ...