• 検索結果がありません。

諍論 などの論理学に関係す

Vol.68 , No.2(2020)075児玉 瑛子「漢訳『廻諍論』の六句議論解釈――梵本における第2句の問題点をめぐって――」

Vol.68 , No.2(2020)075児玉 瑛子「漢訳『廻諍論』の六句議論解釈――梵本における第2句の問題点をめぐって――」

... 「『 』六句議論における問題点」『大正大学大学院研究論集』 43: 188– ...「新校訂本漢訳『 』」『国学院大学紀要』 37: 73–100. 山口益 1950 「 釈的研究(一)」『密教文化』 8: ...

4

Vol.65 , No.1(2016)068福田 洋一「チベット論理学におけるldog paの起源」

Vol.65 , No.1(2016)068福田 洋一「チベット論理学におけるldog paの起源」

... nyid mtshan nyid は, 三条件(chos gsum)を持つものである.すなわち,rang ldog 確定が,設定根拠(rnam ’jog gi rgyu mtshan)依拠しないので実有であること,don gyi ldog pa(= don ldog)が 〔その mtshan nyid 〕mtshon bya とは別〔mtshon ...

7

私の国際関係論―断想 : 京女での最終講義に代えて

私の国際関係論―断想 : 京女での最終講義に代えて

... で 報 告 Reciprocity and Migrant Workers を報告集掲載してもらった。次ぎ、シェフィールド 滞在中 The Internationalization of Japan in Historical Perspective (1990 年)については、上述しておいた。私帰国後も、フック先生と学術交流 ...

38

大正大学大学院研究論集43号 009児玉 瑛子「『廻諍論』六句議論における問題点」

大正大学大学院研究論集43号 009児玉 瑛子「『廻諍論』六句議論における問題点」

... 当である.それについて,「あなた言明は空であるから,すべて本性否定は妥当ではない」とあなたによっていわれた,そのこと は正しくない.その場合,あなたによっていわれた六句議論,それもま た全く同じ[理由]によって否定される.なぜならば,そのようある ...

22

アマルティア・センのCapability 論と社会関係資本論

アマルティア・センのCapability 論と社会関係資本論

... と配置が問題となり、当然、複数手段選択という問題、、、、、利用と配置結果として生活 変化という問題も取り扱う」とされる。また、生活様式は習慣・慣習、知識、技術、物財・サー ビス、組織、法律、家族形態、宗教などからなり、ヒエラルヒー、システムをなすことにより人々 行為様式を規定する文化的な意味を担ったものとされる。 ...

25

確率の意味論における論理説からみるケインズの「アニマルスピリット」の含意

確率の意味論における論理説からみるケインズの「アニマルスピリット」の含意

... arguments)に関しては、私はそ 妥当性について多く権威が与えてきた説明を受け入れることができる。それ は、カント、ドゥ・モーガン、パース、ウィトゲンシュタインにおいて、実質的 同じものとして見出される。これら著者たちはいずれも、形式的妥当な ...

17

『現代保険学――伝統的保険学の再評価』の論理

『現代保険学――伝統的保険学の再評価』の論理

... 。 石田[1979]では,保険は偶然事象による経済的ニーズに関して,経済的保障 を達成する制度とし,事象を確率が0または1「確定性」,確率が0でも1で もない「可能性」分ける。可能性をさらに確率が求められる「不確定性」と 確率が求められない「不確実性」分ける。不確定性は確率・予測値周辺 標準偏差関連する概念とし, ...

43

1K3-1 形式意味論に基づく含意関係テストセット構築の方法論

1K3-1 形式意味論に基づく含意関係テストセット構築の方法論

... phenomena 二 つを設けたは、特に多言語サブセットについて、 1) 意味 的な現象を含む文対訳コーパス、 2) 日本語と他言語と間 で共通する現象アーカイブ二つ性格を与えることを意図 してものである。前者は主自然言語処理用リソースとして ...

4

論理学の形式証明に対する学習支援システムの試作と評価

論理学の形式証明に対する学習支援システムの試作と評価

... Hilbert 公 理系を用いた形式証明学習を支援するツールを試作し, 簡単な評価実験を行った.本ツールは論理初学者を 対象しているため,対話型定理証明器直接使用は 考えていない.逆論理初学者を対象した機能構 ...

8

Powered by TCPDF ( Title 線形論理の意味論のtruthmaker 解釈に向けて Sub Title Towards a truthmaker interpretation of the semantics of linear logic Autho

Powered by TCPDF ( Title 線形論理の意味論のtruthmaker 解釈に向けて Sub Title Towards a truthmaker interpretation of the semantics of linear logic Autho

... また,具体的な論理体系 TM 意味として,直観主義論理や体系 R をはじめとする関連論理など に対しても的確な TM 意味が提案されている (Fine 2014, Jago 2020).本 稿で提示する意味とその解釈は事態的かつ非遺伝的であり,この限り で的確な TM ...

20

青年期の親子関係と父母関係の関連性に関する基礎研究 板倉憲政 ( 東北大学大学院教育学研究科 日本学術振興会特別研究員 ) 長谷川啓三 ( 東北大学大学院教育学研究科 ) 本研究は スピルオーバー仮説や補償仮説の観点から家族成員の 3 つの関係 ( 父母関係 母子関係 父子関係 ) の関連性を調査す

青年期の親子関係と父母関係の関連性に関する基礎研究 板倉憲政 ( 東北大学大学院教育学研究科 日本学術振興会特別研究員 ) 長谷川啓三 ( 東北大学大学院教育学研究科 ) 本研究は スピルオーバー仮説や補償仮説の観点から家族成員の 3 つの関係 ( 父母関係 母子関係 父子関係 ) の関連性を調査す

... た父子関係によって母親父親に対する見方が肯定的 なり、父母関係も良好なるというシステミックな相互影 響が示唆できる。このことから母子密着を断ち切る上で、 父子関係や父親役割は重要であると言える。今後は、 父子関係を軸して、父母関係や母子関係および青年 ...

8

IF 関数 論理式が真か偽かで 指定した表示をする =IF( 論理式, 真, 偽 ) 論理式とは A1=5 A1>50 A1=B1 など 数やセルとの関係を表す式 A1= 1 月 など 文字に関する式の場合は ダブルクォーテーションで文字を囲む 半角と全角は別の文字として扱われるので 入力に注意 式

IF 関数 論理式が真か偽かで 指定した表示をする =IF( 論理式, 真, 偽 ) 論理式とは A1=5 A1>50 A1=B1 など 数やセルとの関係を表す式 A1= 1 月 など 文字に関する式の場合は ダブルクォーテーションで文字を囲む 半角と全角は別の文字として扱われるので 入力に注意 式

... 入力したいデータをクリックする。 ※「元値」データを打ち直すと、自動的リスト項目も変更なります。 ※リスト機能をやめるときは、「入力値種類」ところを「すべて値」戻してください。 ...

13

直観主義線型論理の圏論的意味論について 福田陽介 2018 年 12 月 11 日 1 はじめに 本文書は直観主義線型論理に対する圏論的意味論を概説することを目的とした記事です * 1 線型論理 (Linear Logic) は論理学者 Girard により考案さ

直観主義線型論理の圏論的意味論について 福田陽介 2018 年 12 月 11 日 1 はじめに 本文書は直観主義線型論理に対する圏論的意味論を概説することを目的とした記事です * 1 線型論理 (Linear Logic) は論理学者 Girard により考案さ

... 圏が、ある随伴関係を基礎とした LNL モデルと呼ばれる圏から記述できることを見ます。 ■おことわり 前提知識として数理論理証明と圏基本的な知識を仮定します。証明については直 ...

14

川田侃 : 植民政策学からの国際関係論構築とその後の展開 : 国際関係論・国際政治経済学・平和学の特徴

川田侃 : 植民政策学からの国際関係論構築とその後の展開 : 国際関係論・国際政治経済学・平和学の特徴

... 1 、各種要因を取り込んだ「学際的接近必要 性」である。第 2 、ブレトン・ウッズ体制崩壊 後新しい国際経済体制を模索しようという「目 的的性格」とそれともなう一種「規範性」 である。そして第 3 、国際政治経済全体像を ひとつシステムとしてマクロ的とらえようと ...

18

教科 : 国語科目 : 現代文 B 作成様式 学習指導要領 ア文章を読んで 構成 展開 要旨などを的確にと らえ その論理性を評価すること 小松川高校学力スタンダード 論説や評論において 補足や反証などの関係や段落の構成を的確にとらえ それぞれの働きや関係によってどのように論が展開されているか説明す

教科 : 国語科目 : 現代文 B 作成様式 学習指導要領 ア文章を読んで 構成 展開 要旨などを的確にと らえ その論理性を評価すること 小松川高校学力スタンダード 論説や評論において 補足や反証などの関係や段落の構成を的確にとらえ それぞれの働きや関係によってどのように論が展開されているか説明す

... ・作成した資料を活用して、自分考えを、論拠を 明確しながら、目的や場ふさわしい効果的な 方法で表現することができる。 ・様々な文章について、語句意味・用法を的確 理解し、また効果的用いることができる。 ・説明的文章使用される語句うち難解なもの 意味を正しく理解し、また、このうち頻出する ...

41

本講義のすすめかた n 情報検索 n Semantic Web コンピュータが Web ページの意味 (Semantic) を理解し 組み合わせて問題解決にあたれるようにするための方法論 Description Logic 概念の定義 表現に優れた論理 オントロジーの記述言語への論理的な裏づけ 標準

本講義のすすめかた n 情報検索 n Semantic Web コンピュータが Web ページの意味 (Semantic) を理解し 組み合わせて問題解決にあたれるようにするための方法論 Description Logic 概念の定義 表現に優れた論理 オントロジーの記述言語への論理的な裏づけ 標準

... • ≥3has-member ⊓ Team 少なくとも3人メンバーを持つチーム n 制限つき数量限定 Q – 高々n個Cと関係を持つ ≤nR.C • ≤3has-child.Male ⊓ Male 多くて3人まで男の子を持つ男 – 少なくともn個Cと関係を持つ ≥nR .C ...

46

論 説 ( 田 中 ) 占 めているイギリスで 法 曹 志 望 の 学 生 の 約 7 割 は 本 稿 で 示 すように 学 費 を 主 要 な 収 益 源 としている 営 利 機 関 ( 定 義 は 第 一 節 で 示 す)が 運 営 する 法 科 大 学 院 で 学 んでいる イギリスでは なぜ

論 説 ( 田 中 ) 占 めているイギリスで 法 曹 志 望 の 学 生 の 約 7 割 は 本 稿 で 示 すように 学 費 を 主 要 な 収 益 源 としている 営 利 機 関 ( 定 義 は 第 一 節 で 示 す)が 運 営 する 法 科 大 学 院 で 学 んでいる イギリスでは なぜ

... 院を中心とする大学)である。なぜだろうか。 納金依存する営利機関が、公的な資金で運営される大学と競争するは、 容易ではないと予想される。しかし冒頭で述べたよう、イギリスでは法曹界 進む学生多くが営利機関法科大学院在籍している。この理由をイギリ ...

23

Vol.65 , No.1(2016)083中西 俊英「『十門和諍論』における会通の方法とその周辺」

Vol.65 , No.1(2016)083中西 俊英「『十門和諍論』における会通の方法とその周辺」

... 7) よると思われ る.この考えでは「真・俗」「空・有」などを「横」相依関係,「真・不真」な どの否定による相依関係を「竪」相依関係とし,「横」と「竪」は流動的であっ て固定的ではなく,すべてが相即する.『和』でいえば,「空・有」が横相 ...

6

植物 人間関係学 植物 人間関係学特論 植物 人間学関係学演習 植物 人間学関係学実験 Ⅰ 植物 人間学関係学実験 Ⅱ Advanced Plant Science for Human Health and Welfare Seminar in Plant Science for Human Hea

植物 人間関係学 植物 人間関係学特論 植物 人間学関係学演習 植物 人間学関係学実験 Ⅰ 植物 人間学関係学実験 Ⅱ Advanced Plant Science for Human Health and Welfare Seminar in Plant Science for Human Hea

... 国際協力 Advanced Study in International Cooperation 2 Professor 教授 博(農学) HACCHO Nobumasa 八丁 信正 開発環境 Advanced Sustainable Development and Environment 2 Professor 教授 農業工学博 MATSUNO Yutaka 松野 裕 ...

18

Show all 10000 documents...

関連した話題