著者

三浦 稜将 八板 昭仁 宮田 睦美

雑誌

九州共立大学研究紀要 = Study journal of Kyushu Kyoritsu University (ISSN:21860483)

巻号頁・発行日

vol.5, no.2, pp.21-29, 2015-03-31

---

Present study investigated the relationships between rationales for the result of attacks and successof attacks during attacks involve a receive, a toss and a spike. Quarter finals, semi-finals and finalof All Japan Intercollegiate Volleyball Championships tournament were analyzed using mathematicalQuantification Theory Type One. Main factors for the success of attacks were judgment of opponent’s blocks and tosses. For the blocks, large positive influences on success of attack was observed when3 players jumped to block and at least one player performed block 2 or block 3. On the other hand,large negative influences on success of attack was revealed when 3 players jumped to block and atleast 2 players performed block 1. For the judgment of tosses, the largest influence on success of attackwas shown by toss-A followed by toss-B and then toss-C. Moreover, it was found that players can becategorized into “reliable type player”, “constant type player”, “gamble type player” and “clunker typeplayer” when regression coefficient calculated from mathematical Quantification Theory Type One wasemployed for the analysis.

著者

上里 友弥

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.5, no.2, pp.1-15, 2012-03-30

---

本論文では,必ず停止するパーザのみを構成できるようなパーザコンビネータライブラリ(total parser combinator library)の実装手法について述べる.構成されるパーザが必ず停止することの保証は,定理証明支援系のCoqによって行う.Coqは,停止する関数だけを許すプログラミング言語としても使うことができるので,Coq上で定義することができればよい.パーザおよびパーザコンビネータはmonadicに実装したい.しかし一般に,monadicな実装においては証明の段階で逐一定義を展開していかなければならず,無駄が多いという問題がある.一方,この問題に対しては,Swierstraの提案したHoare state monadが有効である.そこで,我々はパーザをmonadicに実装する手段として,Hoare state monadを一般化したHoare state monad transformerを新たに提案する.このHoare state monad transformerを用いたことで,従来のmonadicな実装をもとにしながらも,停止性を比較的容易に証明することができた.

著者

宮原 辰夫

出版者

北陸大学法学会

雑誌

北陸法学 = Journal of law and political science (ISSN:09199640)

巻号頁・発行日

vol.10, no.3-4, pp.85-109, 2003-03-15

著者

青木 稔弥 青田 寿美 内田 宗一 高野 純子 寺田 詩麻 大貫 俊彦

出版者

人間文化研究機構国文学研究資料館

雑誌

国文学研究資料館調査研究報告 = Report on Investigation and Research (ISSN:02890410)

巻号頁・発行日

no.41, pp.15-78, 2021-03-31

著者

渡部 有隆

雑誌

情報処理

巻号頁・発行日

vol.56, no.10, pp.998-1005, 2015-09-15

---

近年,競技プログラミングが活発に行われるようになってきており,多くの学生やプログラマが競い合い,知識と技術力を高めている.競技プログラミング対策のトレーニングツールの1つとして,プログラムの自動採点を行うオンラインジャッジが用いられている.本記事では,数あるオンラインジャッジの中からAizu Online Judge(AOJ)について解説する.これまでの開発・運用で蓄積された知見を基に,その教育効果を伝えるとともに,システムの動作原理について解説する.特に,システムの実現に重要なジャッジキュー,プログラムの自動評価,結果を通知するブロードキャストシステムについて,それらの仕組みや実装方法を紹介する.

著者

西 基

出版者

北海道医療大学看護福祉学部

雑誌

北海道医療大学看護福祉学部紀要 (ISSN:13404709)

巻号頁・発行日

no.20, pp.37-40, 2013-12-20

著者

高橋 康雄 タカハシ ヤスオ Yasuo Takahashi

雑誌

札幌大学総合論叢

巻号頁・発行日

vol.9, pp.250-210, 2000-03-31

著者

俣野 裕美

雑誌

摂大人文科学 = The Setsudai Review of Humanities and Social Sciences (ISSN:13419315)

巻号頁・発行日

no.27, pp.19-37, 2020-01

---

本論は 2000 年以降のハリウッド映画における、日本人以外の登場人物たちによるサムライ化の表象を分析したものである。『ラストサムライ』(2003)、『キル・ビル vol.1』(2003)、『ウルヴァリン:SAMURAI』(2013)、『47RONIN』(2013)の4作品を分析したところ、様々なサムライ化の程度が存在するが、完全にサムライになることは避けられる傾向にあることが分かった。また、2000 年代と 2010 年代の作品では、サムライ化に違いが見られた。この点については、当時のアメリカの外交政策をはじめとする社会的背景から考察を行った。This article analyzes the representation of non-Japanese protagonists who become samurai in The Last Samurai (2003), Kill Bill: vol.1 (2003), The Wolverine (2013) and 4 7 R o n i n (2013). In each film, they internalize various aspects of samurai-ness but they avoid turning themselves completely into samurai. The portrayals of non-Japanese samurai, however, are different between 2000s and 2010s. The cause brought the difference is examined with the changing background of US diplomacy, especially military and economic affairs in world politics.

著者

福田 孝

出版者

武蔵野大学武蔵野文学館準備室

雑誌

武蔵野大学武蔵野文学館紀要 = Journal of the Musashino Literature Museum, Musashino University (ISSN:21870063)

巻号頁・発行日

no.3, pp.153-166, 2013-03-31

著者

河内 春香 Haruka Kawachi

出版者

東京音楽大学

雑誌

東京音楽大学大学院論文集 = Bulletin of the doctoral programs, Tokyo College of Music (ISSN:21895767)

巻号頁・発行日

vol.1, no.2, pp.40-57, 2016-03-01

著者

平田 周

出版者

南山大学

雑誌

アカデミア. 人文・自然科学編 = Academia. Humanities and natural sciences (ISSN:21853282)

巻号頁・発行日

no.18, pp.69-81, 2019-06-30

著者

小谷 量子

出版者

日本女子大学

雑誌

日本女子大学大学院文学研究科 紀要 (ISSN:13412361)

巻号頁・発行日

no.23, pp.101-125, 2017-03-15

著者

辰井 聡子 タツイ サトコ Satoko Tatsui

雑誌

立教法学

巻号頁・発行日

vol.97, pp.285-253, 2018-03-25

著者

青井 未帆

雑誌

成城法学

巻号頁・発行日

no.80, pp.210-143, 2011-08

著者

薗部 寿樹

出版者

山形県立米沢女子短期大学附属生活文化研究所

雑誌

山形県立米沢女子短期大学附属生活文化研究所報告 = REPORTS OF THE INSTITUTE FOR CULTURE IN LIFE (ISSN:0386636X)

巻号頁・発行日

no.47, pp.25-41, 2020-03-13

著者

山下 真理子

出版者

大正大学

雑誌

大正大学大学院研究論集 = Journal of the Graduate School, Taisho University (ISSN:03857816)

巻号頁・発行日

vol.38, pp.87-109, 2014-03-15

著者

森 章司

---

1995

著者

三宅 陽一郎

雑誌

人工知能

巻号頁・発行日

vol.32, no.1, 2017-01-01

著者

永岑 三千輝

出版者

横浜市立大学学術研究会

雑誌

横浜市立大学論叢.社会科学系列 (ISSN:09117725)

巻号頁・発行日

vol.70, no.2, pp.193-227, 2019-03-08

著者

鍛代 敏雄

出版者

東北福祉大学

雑誌

東北福祉大学芹沢銈介美術工芸館年報 (ISSN:21862699)

巻号頁・発行日

vol.9, pp.61-70, 2018-06-23

---

本稿の課題は、鎌倉期にはじまる石清水八幡宮寺祠官の印章に関する調査・研究の成果を報告するところにある。石清水八幡宮の印章に関するまとまった研究はない。そこで、本文では、別当・社務検校を務める祠官の私印について、あらためて検証した。とくに鎌倉期に確かめられる、幸清・宗清・耀清の3者の印章に関し、その形態、使用法、機能の3点を中心に論述した。なかでも、耀清の印章は、斯界においてほとんど知られていなかったが、国立歴史民俗博物館所蔵の国宝『宋版史記』の所蔵者であったことをはじめて発見した。その書誌学史上の意義は少なくないものと考える。なお、筆者は石清水八幡宮研究所主任研究員を兼任しており、本稿については、かかる調査・研究の成果の一部である。また、本学の博物館学芸員資格にかかわる単位取得履修講座・古文書学の授業を担当している。その概論のなかで、花押や印章の講義を行っている。今後の古文書学の授業に反映させていく所存である。This issues paper is to report the results of the investigation and research on the seal of the Iwashimizu- hachimangu (石清水八幡宮)shrine Temple the Shikan starts in the Kamakura(鎌倉)period. No large study on the sigil of the Iwashimizu-hachimangu shrine. So, about my impression of the Shikan(祠官)in the body, serve as intendant, Bettou (別当)and Kengyo(検校)again verified. Concerning the seal of kousei(幸清), sousei(宗清) and yousei(耀清), seen especially during the Kamakura, was discussed focusing on the forms, how to use, features three. The Shi ji(史記) was printed during the Song(宋)dynasty in China, in the collection of the treasures of the National History Museum of folkways, yousei sigil is little known in the field, but for the first time found. The significance of the bibliographical history no less considered. The Iwashimizu-hachimangu shrine Research Institute, and serves as this part of the results of such research and studies on paper. Also, are responsible for class credits course course concerning the qualification of Museum curator and Paleography. In its introduction, teaches kaou (花押) and seal(insyou 印章). On teaching of Paleography in the future to reflect.