大学生の宇佐美君がサンスクリット語を学ぶためのサイトです
2階述語論理を理解するのは通常難しいといわれていま..
2階述語論理を理解するのは通常難しいといわれています。矛盾する問いですが、なぜ難しいのかをわかりやすく説明(できるだけ自然言語をつかった)しているのがあったら紹介お願いします。
SQLについての質問です。 【環境】 windows2000 serve..
SQLについての質問です。 【環境】 windows2000 server SQL server 2000 ①.SELECT * FROM TBL_A WHERE FLG = 1 ②.SELECT * FROM TBL_B WHERE FLG = 2 ①の結果と②の結果を用い、共通の3つの項目(主キーではない)を 比較し差分を求めたいのですが、どういったSQL文を組めばよいでしょうか? NOT EXISTS述語で可能でしょうか?不可能であれば、別の方法でも構いません。 ※共通の項目をID,TIME,KINDとします。
適切な表現を教えて下さい。 『指定された商品を使っ..
適切な表現を教えて下さい。 『指定された商品を使っている』ということを確かめる(検査)時の表現(2字述語や4字述語、別に字数に拘りませんが)、言葉を教えて下さい。建築工事のISOの施工管理記録の検査基準の欄に書くのに、適当な言葉が思いつきません。 宜しくお願いします。
一般的なデータベースの本を読むと、 インデックスの..
一般的なデータベースの本を読むと、 インデックスの中にNULLは含まれず、NULL述語を指定した検索はテーブルスキャンが実行されるそうです。 しかし、Microsoft SQL Server 2000やMySQL(InnoDB)で実際に検証したところ、 インデックスシークが行われているようでした。 下記の点について教えてください。 1. このような本の記述が正しいのか、 2. また、Oracleについてはそういえるのか、 3. そして、なぜそのような実装になっているか
... 述語の位置(つまり動詞 の後)に来るのは「未知」のことである、という大原則があります。 そこで私は考えました。 ... やはり述語以下で述べることは「 〓 」にとっては未知の情報のはずです。 ...
... 比較的、英語は好きな科目だったので、ハワイ語もすんなり頭に入ってきました~♪ 述語と主語、名詞と形容詞からできる 簡単な文章はなんとか理解できましたが、 例文から一人称、二人称、三人称で文章をかえ ...
... 名詞句がそのまま述語文になるので「名詞述語文」と呼ばれるものです。あえてここに“是sh〓”を入れると「間違いなく……だ」という強い意味を表してしまいます。 (3)今天(是)十月二十一号。 ...
UML 以外で、最近、「知らない」ことが問題になってきたのが述語論理。数理論理学(記号論理学)というと私は命題論理くらいしか習ったことがなかったのだが、述語論理もこの業界の人ならだれでも知っているような常識レベルのものだったんだろうか? orz ...
というタイトルで、某氏作成の述語論理の実装と、私作成のホーア論理のインチキ実装を紹介しました。皆様、ご静聴ありがとうございます。 Permalink | コメント(0) | トラックバック(0) コメントを書く ...