著者

石本 新 藤川 吉美

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.1, pp.9-22, 1968-10-10 (Released:2009-05-29)

参考文献数

12

---

This paper concerns the construction of a modal sentential calculus, which constitutes a subsystem of Lewis' S 1 and a decision method of the proposed calculus. The method represents a generalization of that rendered by McKinsey for Lewis' S 2 as well as for S 4 and is characterized by the construction of all the finite regular matrices containing not more than a certain number of elements specified by the given formula.

著者

高松 鶴吉

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.1, pp.31-44, 1968-10-10 (Released:2009-05-29)

参考文献数

4

---

At the root of two-valued logic we use there is the assumption, which is usually not formulated explicitly, but is a basic one, and which is called the principle of two-values. This principle in twovalued logic corresponds to the principle of contradiction and the principle of the excluded middle. However, the principle of the syllogism in the usual (conjunctively transitive) formulation, and the principle of contradiction, of the excluded middle are only "possible" in three-valued logic. From this, three-valued logic are connected with a modal functor such as 'M' to be called "possible" (möglich). Furthermore, some laws of two-valued logic are false in three-valued logic, among others the law (a=a') = 0. From this fact results the absence of antinomies in three-valued logic.Thus any of many-valued logic from three-valued to infinitely many-valued is a proper part or a proper sublogic of two-valued logic, and the latter is a superlogic of the former.

著者

斎藤 晢朗

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.1, pp.23-29, 1968-10-10 (Released:2009-05-29)

著者

江藤 肇

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.1, pp.45-54, 1968-10-10 (Released:2009-05-29)

参考文献数

6

---

Some important parts of economics are formally stated in a finite manner in the sense that their syntax is given and that their theorems are proved without resorting to the compactness just under the assumptions the rational numbers and their arithmetical rules are finitely given. Firstly the syntax introduces the linear space spanned over the rational field which is shown to meet the so-called axioms of the linear space. The simplex algorithm of linear programming provides a finite tool to develop the linear algebra and its. geometric representation which, on the contrary, usually in nonfinite systems deduce it. The basic parts of the game theory and non-linear programming are shown to be expressible in a finite manner as well. Economic behaviors besides games are also seen to be expressed by finite mathematics. Lastly it is remarked that the integer programming algorithms as the most powerful tool for finite systems are finite.

著者

小林 登

出版者

上智大學法學會

雑誌

上智法學論集 (ISSN:04477588)

巻号頁・発行日

vol.64, no.1, pp.75-98, 2020-11-20

---

論説

著者

重田 利拓 薄 浩則

出版者

水産総合研究センター

巻号頁・発行日

vol.5, pp.1-19, 2012 (Released:2013-10-08)

---

野外での魚類によるアサリ食害実態に関する知見を取りまとめレビューするとともに,食害魚種に閧するリストを作成した。トビエイ科からフグ科の12科23種がリストアップされた。このうち,日本には12科21種が,瀬戸内海には12科18種が生息する。アサリの被食4部位区分では,稚貝を食害する魚種が多く,このうち,ナルトビエイ,クロダイ,キチヌ,キュウセン,クサフグの5種が親貝をも食害すること,イシガレイやマコガレイの稚魚・未成魚など8種が水管を食害すること,クロダイとキュウセンは,足を除く,全ての区分で食害が認められること等を明らかにした。

著者

エドワード・カアペンター 著

出版者

聚英閣

巻号頁・発行日

1919

著者

島村安慶(高知県士族)・小笠原和平(高知県士族)・志佐要一郎(長崎県士族)

著者

松原 浩

出版者

一般社団法人 表面技術協会

雑誌

表面技術 (ISSN:09151869)

巻号頁・発行日

vol.63, no.7, pp.396, 2012-07-01 (Released:2013-01-29)

参考文献数

4

著者

長谷川 忍

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.35, no.2, pp.250-256, 2020-03-01 (Released:2020-09-29)

出版者

春秋社

巻号頁・発行日

vol.第10 地下鉄道, 1938

著者

本多 佐保美

出版者

千葉大学教育学部

雑誌

千葉大学教育学部研究紀要 (0xF9C2) 人文・社会科学編 (ISSN:13427415)

巻号頁・発行日

no.45, pp.93-103, 1997-02

出版者

理工図書

巻号頁・発行日

2017

著者

石川 真彦

出版者

日本鉄道電気技術協会

雑誌

鉄道と電気技術 = Railway & electrical engineering (ISSN:09159231)

巻号頁・発行日

vol.26, no.7, pp.37-41, 2015-07

著者

松本 亦太郎

出版者

公益社団法人 日本心理学会

雑誌

心理学研究 (ISSN:00215236)

巻号頁・発行日

vol.2, no.6, pp.993-1017, 1927 (Released:2010-07-16)

参考文献数

6

著者

亀長 洋子

雑誌

学習院史学 (ISSN:02861658)

巻号頁・発行日

no.51, pp.100-110, 2013-03-01

著者

高柳 邦夫

出版者

The Surface Finishing Society of Japan

雑誌

表面技術 (ISSN:09151869)

巻号頁・発行日

vol.45, no.1, pp.22-25, 1994-01-01 (Released:2009-10-30)

参考文献数

23

著者

尹 浩 山本 景子 倉本 到 辻野 嘉宏

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.61, no.3, pp.618-627, 2020-03-15

---

通信技術の発展にともない,Q&Aウェブサイトは大規模な知識共有の重要な手段の1つになっている.しかし,Q&Aウェブサイトにおける回答者と質問者の間には,1)相手のことが分からない,2)質問者の態度やいい方が好きではない,という2点に起因する知識共有バリアが存在する.そこで本論文では,これらのバリアを低減するために,Q&Aシステムにおいて質問者と回答者を仲介する,各ユーザにとって好ましいバーチャルエージェントがデザインできるツールを提案する.このツールでは,エージェントの外見と性格に関するパラメータをユーザが調整するだけで自分にとって好ましく感じるエージェントが自動生成される.評価実験の結果より,このツールを用いることで,実験参加者の大多数が自分にとって好ましいバーチャルエージェントを作成できることが確認できた.また,作成されたエージェントをQ&Aシステムに導入した場合,回答意欲が高まることが分かった.

著者

宮澤 靖

出版者

公益社団法人 日本リハビリテーション医学会

雑誌

The Japanese Journal of Rehabilitation Medicine (ISSN:18813526)

巻号頁・発行日

vol.54, no.2, pp.121-126, 2017-02-18 (Released:2017-05-22)

参考文献数

7

---

経腸栄養法は,生理的な投与方法であり,経口摂取についで有用な栄養管理法である.近年は150種類を超える経腸栄養剤・濃厚流動食が上市され,疾患別での組成もラインナップされるようになった.また,投与に際するデバイス類も充実し,以前よりも患者によって快適に,確実に投与が可能となった.さらに手技に関しても正しい理解が広まり,合併症の低減や回避が可能になってきた.しかし,リハビリテーションの世界では,経腸栄養法に対して間違った認識やリハビリテーション施行中には投与をしてはいけないのではないかという誤解が散見される.今回は,リハビリテーションの観点から経腸栄養法の正しい認識と手技を概説する.

著者

前橋 健二 大戸 亜梨花 山本 達彦 浅利 妙峰 柏木 豊

出版者

日本食品科学工学会

巻号頁・発行日

vol.62, no.6, pp.290-296, 2015 (Released:2015-11-24)

---

(1) 市販塩麹製品14点の成分の平均値は,水分50.2%,食塩11.0%,還元糖21.9%,ホルモール窒素0.07%であった。酵素活性は全く検出されないものも見られたが多くの製品にデンプン分解系酵素やタンパク質分解系酵素が検出された。(2) 塩麹の製造条件として,還元糖およびホルモール窒素量の消長の点では60℃で6時間以上の消化が必要であるが,残存酵素活性を考慮すると50℃~60℃で6時間程度の短時間消化による方が適当であると判断された。(3) 麹抽出液での試験では,10%食塩の存在でα-アミラーゼ活性の熱安定性は低下しプロテアーゼの熱安定性は若干向上する傾向が見られた。また,10%グルコースの存在ではプロテアーゼ活性の熱安定性がさらに向上する傾向が見られた。