著者

森 彰 松本 吉弘

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.12, no.4, pp.4_362-4_373, 1995-07-17 (Released:2018-11-05)

---

圏論は抽象数学から派生した代数的手法であるが,構文と意味の関係を厳密に定義できることと,可換図式や普遍写像性などによって,数学的構造を視覚的に扱うことができることから,ソフトウェア設計における意味の可視化に役立つものと考えられる.本論文では,情報システムを構成するデータ集合間のシグネチャを圏によって可視化することで,ソフトウェア設計の形式化を図る試みについて論じる.まず,ソフトウェアの統一意味モデルという概念を,GoguenとBurstallによって導入されたインスティチューションの概念を借りて説明し,この意味モデルがソフトウェア設計に占める重要性について論じる.そして次に,この意味モデルを圏を用いて可視化する方法について述べ,それがソフトウェア設計の形式化にどう役立つかを考察する.

著者

鉄道院総裁官房 編纂

出版者

大谷仁兵衛

巻号頁・発行日

vol.第10編 (船舶), 1915

著者

鳥海 崇 綿田 博人

出版者

慶應義塾大学体育研究所

雑誌

体育研究所紀要 = Bulletin of the Institute of Physical Education, Keio University (ISSN:02866951)

巻号頁・発行日

vol.57, no.1, pp.43-56, 2018-01

---

研究資料

著者

鳥海 崇 綿田 博人

出版者

慶應義塾大学体育研究所

雑誌

体育研究所紀要 = Bulletin of the Institute of Physical Education, Keio University (ISSN:02866951)

巻号頁・発行日

vol.56, no.1, pp.45-53, 2017-01

---

In this study, we calculate the team strengths of the Tokyo Big6 Baseball League teams from 2001 to 2015 seasons by using five mathematical and statistical methods; which are ① Keener's model using points in the standings, ② Keener's model using wins and losses, ③ Bradley-Terry model using wins and losses, ④ Offence-Defense methods using scores, and ⑤ Keener's model using a parameter derived from points and winning rate. Based on the 20 results whose standings of the points and the winning rates are on the same order, we calculate the Kendall rank correlation coefficient between both rankings derived from strengths and from points in each method. The average coefficients from 2001 to 2015 seasons show that Keener's model using wins and losses, Keener's model using a parameter, and Bradley-Terry model have high correlations (more than 0.9). On the other hand, Keener's model using points in the standings and Offence-Defense model have a low correlation (less than 0.9). We also calculate the strengths in the case that the team ranked 1st in the standings is ranked 2nd in terms of the winning rate. The three methods with high correlations show that the strength of the team ranked highest in terms of wining rate is greater than the team ranked second highest. This implies that the winning rate is a better indicator of a team's strength than its points in the Tokyo Big6 Baseball League standings from 2001 to 2015.

著者

林 卓史 久保 美紀

出版者

朝日大学経営学会

雑誌

朝日大学経営論集 (ISSN:09133712)

巻号頁・発行日

vol.30, pp.21-32, 2016-03

著者

ローレンス ウエイン

出版者

法政大学沖縄文化研究所

雑誌

琉球の方言 (ISSN:13494090)

巻号頁・発行日

no.38, pp.1-16, 2013

著者

スナルディ 三宅 良美 Sunaryadi MIYAKE Yoshimi

出版者

秋田大学教育推進総合センター

雑誌

秋田大学教養基礎教育研究年報 (ISSN:13449311)

巻号頁・発行日

no.16, pp.75-85, 2014-03-28

---

Bedhaya Dance at Yogyakarta Palace was originally a sacred work of art which could only be performed with the permission of the king in certain occasions and in certain places. Prince Suryobrongto (a dance master of Yogyakarta Palace) said that the Bedhaya dance is a sacred dance which has symbols of life because it’s not only a dance movement, but it is an action that is performed and becomes the life reference. Bedhaya dance philosophy is summed up in the doctrine of ngelmu sangkan paran which covers three things. Those are, first, it is related to the human consciousness that comes from God (urip iki saka sapa); second, it is related to the duties and obligations of human beings in the world (urip iki arep apa); and third, it is related to the return of man to his God (urip iki pungkasane piye). Therefore, in the context of moral ethics, Javanese life purpose is to reach manunggaling kawula (human unity) with Gusti (God), as it is believed that goodness and beauty is a manifestation of the Essence of the Most Holy. Lampah bedhaya,, starting from majeng beksa until mundur beksa,, the end of dancing, is a role model to determine the choice between the goodness and badness.

著者

平沼 晶子

出版者

日本家族心理学会

雑誌

家族心理学研究 (ISSN:09150625)

巻号頁・発行日

vol.25, no.1, pp.68-82, 2011-05

著者

小林 由美 Christoffersen Mogens Jalmert Lars

雑誌

教育学研究室紀要 : 「教育とジェンダー」研究 (ISSN:18848710)

巻号頁・発行日

no.2, pp.88-89, 1999-06-30

著者

脇田 浩二 宮崎 一博 ムナスリ ソパヘルワカン ヤン ズルカルナイン イスカンダール

出版者

日本地質学会

雑誌

日本地質学会学術大会講演要旨

巻号頁・発行日

vol.102, 1995-03-20

著者

岡本 多喜子

出版者

明治学院大学社会学部

雑誌

明治学院大学社会学・社会福祉学研究 = The Meiji Gakuin sociology and social welfare review (ISSN:13494821)

巻号頁・発行日

vol.146, pp.23-65, 2016-03-09

---

【論文/Articles】

著者

箭内 博行

出版者

一般社団法人 電気設備学会

雑誌

電気設備学会誌 (ISSN:09100350)

巻号頁・発行日

vol.25, no.5, pp.309-312, 2005-05-10 (Released:2015-07-29)

著者

宇尾野 久

出版者

社会経済史学会

雑誌

社會經濟史學 (ISSN:00380113)

巻号頁・発行日

vol.17, no.6, pp.558-561, 1951-12-30

著者

泉谷 康夫

出版者

高円史学会

雑誌

高円史学 (ISSN:09145176)

巻号頁・発行日

vol.9, pp.1-28, 1993-10-01

著者

金森徳次郎 著

出版者

三省堂出版

巻号頁・発行日

1949

出版者

講談社

巻号頁・発行日

1967

出版者

競馬研究社

著者

Chiraporn ANANCHAIPATTANA Yukie HOSOTANI Susumu KAWASAKI Sirikhae PONGSWAT Bari Md. LATIFUL Seiichiro ISOBE Yasuhiro INATSU

出版者

Japanese Society for Food Science and Technology

雑誌

Food Science and Technology Research (ISSN:13446606)

巻号頁・発行日

vol.18, no.6, pp.843-848, 2012 (Released:2013-01-11)

参考文献数

14

被引用文献数

4 18

---

Soybean curd (Tofu) is a popular food for many people, especially those with health concerns. The objective of this study, therefore, was to evaluate the contamination rate and types of foodborne pathogens and food spoilage bacteria in packaged and unpackaged tofu sold in Thai markets. A total of 133 tofu samples (59 packaged tofu samples and 74 unpackaged tofu samples) were collected from open markets and supermarkets in Thailand. The predominantly identified Gram-negative bacteria were coliforms (67% in tested samples), Pseudomonas spp. (56%) and Escherichia coli (28%) and the predominantly identified Gram-positive bacteria were Enterococcus spp. (77%), lactic acid bacteria (68%), Bacillus cereus (41%) and Staphylococcus spp. (26%). No Listeria spp. were found in any of the tofu samples. The contamination rates of E. coli, Salmonella spp. and Enterococcus spp. in unpackaged tofu were significantly higher than those in packaged tofu (P < 0.05). Three kinds of Gram-negative pathogenic bacteria, Cronobacter sakazakii, Salmonella spp. and Yersinia enterocolitica (serotype 0:5), were found only in unpackaged tofu samples. Of 54 B. cereus isolates, four isolates from three unpackaged tofu samples and one packaged tofu sample were found to produce diarrheal enterotoxin. The most common Enterococcus spp. isolates were Enterococcus faecium and Enterococcus faecalis. These results suggested that the improvement of hygienic practices might be required for reducing the risk of food poisoning and food spoilage of tofu in Thailand.

著者

安藤 弥

出版者

同朋大学仏教学会

雑誌

同朋仏教 = The doho bukkyo : the journal of Buddhism (ISSN:02898403)

巻号頁・発行日

no.54, pp.79-101, 2018-07

著者

前嶋 信次

出版者

慶應義塾大学

雑誌

史学 (ISSN:03869334)

巻号頁・発行日

vol.41, no.4, pp.499-528, 1969-03

---

一 アレクサンドロス伝説の流布二 日本角(ドゥル・カルナイン)という名称三 ゴグとマゴグの長城四 マルコ・ポーロの伝えたゴグ・マゴグの長城五 アッバース朝カリフの長城への遣使六 サルラーム等の行程についての諸説