著者

神原 正明

出版者

加計学園倉敷芸術科学大学

雑誌

倉敷芸術科学大学紀要 = The bulletin of Kurashiki University of Science and the Arts (ISSN:13443623)

巻号頁・発行日

no.23, pp.3-13, 2018-03-01

著者

村田 康佑 江本 健斗

雑誌

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

巻号頁・発行日

vol.11, no.4, pp.1-12, 2018-12-14

---

数学定理やプログラムの性質の形式的証明では,自然数上の不等式についての証明が頻出する.しかし,定理証明支援系Coqでの不等式の形式的証明は,非形式的証明とは異なる記法で記述されるため,数学的な直観がそのまま使えないことも多い.たとえば,非形式的証明では,不等式L ≤ Rを証明するために,しばしばL = M1 ≤ M2 = M3 ≤ ・・・ ≤ Mn = Rのように項を不等号で「鎖状」につなげて示す宣言的な記法が用いられる.こうした記法は数学の教科書等でよく馴染んだ記法であり,直観的に理解・記述することが可能である.一方,Coqにはそうした宣言的な記法は標準では用意されていないため,証明の理解・記述が困難になっている.本論文では,Coq上で,自然数上の不等式変形を,非形式的証明のように「鎖状」に記述する手法を提案する.本手法の特徴は,タクティックライブラリによって「鎖状」記法が実現されることにあり,それゆえ,提案記法はライブラリをモジュールとして読み込むだけで既存記法とあわせて使うことができる.また,このタクティックライブラリを用いて,Ackermann関数の性質についての不等式の証明を試みる.その結果,標準的な数学の教科書と近い記法で形式的証明を記述できることを確認する.

著者

中道 芳美 鮫島 道和 顧 寿智 杉浦 敏文 Yoshimi NAKAMICHI Michikazu SAMEJIMA Shouzhi GU Toshifumi SUGIURA

雑誌

聖隷クリストファー大学看護学部紀要 = Bulletin of Department of Nursing Seirei Christopher College

巻号頁・発行日

vol.14, pp.169-176, 2006-03-31

---

絵画療法は、手、指、脳の働きを適度に緊張・緩和させるので、血液循環が良くなり、特に脳の前頭葉の部分を刺激し、神経伝達物質(ドーパミン)が放出され、浄化作用(カタルシス)を促す。適度な集中をくり返すことは、身体や脳の機能回復にも役立つ。どんな作品にしようかと図案構成をすることが、脳の思考回路を活発にする。絵画制作を通して自己表現をし、充実感、達成感を味わうことで情緒の安定を図ることが出来る。また、お互いの作品を認め合うことで、コミュニケーションが深まり、信頼関係が生まれる。そこには、言語としてのコミュニケーションだけではなく、非言語コミュニケーションも含まれる。この様な個別支援は生きがい支援となり、生活の質(QOL=Quality of Life)の向上を促す。絵画療法が、具体的な身体的な変化を生み出していることを、唾液中のコルチゾールを測定することで、確認することが出来た。

著者

牟田 俊平 ムタ シュンペイ Syunpei Muta

雑誌

史苑

巻号頁・発行日

vol.70, no.2, pp.105-108, 2010-03-19

著者

原田 信之 Nobuyuki HARADA 日本文学 The Department of Liberal Arts Niimi College

雑誌

新見公立短期大学紀要 = The bulletin of Niimi College (ISSN:13453599)

巻号頁・発行日

vol.26, pp.241-254, 2005-12-25

---

多良間島には、十六世紀に島を統治した土原豊見親春源の父親「ペーンス(平屋西)」が平家の流れをくむヤマト(日本)の人であったという平家伝説がある。また、春源のおじで水納島を統治していたとされる「水納ペーンス」はペーンスの弟で、春源の多良間統一に協力したという伝承がある。南西諸島においては、源氏と平氏をめぐる伝説がそれぞれ存在しているが、通常、沖縄県には平家伝説はほとんどないとされている。日本と多良間との交流は海の道を通じて昔から存在したこと、ペーンスは日本から来た人物であった可能性が高いこと、「ヤマト墓」が存在すること、『遺老説伝』等にみえる「平屋西」という表記の存在(平家を連想する)などが多良間島の平家伝説の発生に重要な役割を果たしてきたと推定される。また、琉球王権北端の奄美と琉球王権南端の先島に平家伝説がある点が注目されるが、その理由の一つとして、奄美も先島も首里と地理的に離れているため琉球王権の影響力が比較的緩やかであったことが関係しているように思われる。

著者

柴田 仁夫

出版者

埼玉大学経済学会

雑誌

経済科学論究 = The journal of economic science (ISSN:13493558)

巻号頁・発行日

vol.10, pp.27-38, 2013

著者

小野 佐保子 仙宅 元記 広瀬 信雄

出版者

山梨大学大学院総合研究部教育人間科学域障害児教育学系(山梨大学教育人間科学部障害児教育講座)

雑誌

山梨障害児教育学研究紀要 = 山梨障害児教育学研究紀要 (ISSN:24329096)

巻号頁・発行日

vol.10, pp.96-110, 2016-02-01

著者

大橋 敦夫

出版者

上田女子短期大学

雑誌

紀要 (ISSN:09114238)

巻号頁・発行日

vol.14, pp.A23-A43, 1991-03-31

著者

有村 達之

出版者

九州ルーテル学院大学

雑誌

応用障害心理学研究

巻号頁・発行日

no.13, pp.1-9, 2014-03-31

---

ヨーガを用いた心理療法および認知行動療法について, どのようなものがあるのか, また, その有効性と安全性, 経済性について文献検索を行った。PubMedおよびPsycINFOを用いて, ヨーガを用いた心理療法について文献を探索した。ヨーガを用いた心理療法については6種類が見いだされた。ヨーガを用いた認知行動療法については見いだすことができなかった。そのうちRCTを含む介入研究などで有効性がよく検討されていたのはマインドフルネスストレス低減法(MBSR)のみであった。また, 免疫学的効果や発達障害への効果を示唆する研究も存在した。安全性については, ヨーガと免疫学的異常との関連性を示唆する研究が1 件見いだされた。経済性については関連する研究は見いだせなかった。ヨーガを取り入れた心理療法は, 慢性疼痛やがんに伴う抑うつや不安に対しての効果があることが示唆されたが, 全般的に, 有効性, 安全性, 経済性のエビデンスは非常に不足しており, それらを検証する研究の必要性が論じられた。

著者

高橋 ともみ 久保 克弘 篠原 由美子 野沢 桃世 吉崎 美紗 早川 博章 岡 夏樹 西崎 友規子

雑誌

2016年度 情報処理学会関西支部 支部大会 講演論文集 (ISSN:1884197X)

巻号頁・発行日

vol.2016, 2016-09-16

---

本研究は人とエージェントがより良い関係を築くことを目的に、ミラー(同調)効果に着目し、人がエージェントに対して親しみを感じるのに適した同調の割合を調査した。また、個人差を考慮して視点取得による検討も併せて行った。

著者

高尾 こいし

出版者

松蔭女子学院大学学術研究会

雑誌

生活科学論叢 = Review of living science (ISSN:02886146)

巻号頁・発行日

vol.8, pp.27-41, 1975-12-28

著者

小西 伸彦

出版者

就実大学人文科学部総合歴史学科

雑誌

就実大学史学論集 = SHIGAKU RONSHU : Shujitsu Historical Journal

巻号頁・発行日

no.36, pp.103-181, 2022-03-31

著者

四柳 嘉章

出版者

国立歴史民俗博物館

雑誌

国立歴史民俗博物館研究報告 = Bulletin of the National Museum of Japanese History (ISSN:02867400)

巻号頁・発行日

vol.210, pp.29-47, 2018-03-30

---

本稿では中世的漆器生産へ転換する過程を,主に食漆器(椀皿類)製作技術を中心に,社会文化史的背景をふまえながらとりあげる。平安時代後期以降,塗師や木地師などの工人も自立の道を求めて,各地で新たな漆器生産を開始する。新潟県寺前遺跡(12世紀後半~13世紀)のように,製鉄溶解炉壁や食漆器の荒型,製品,漆刷毛,漆パレットなどが出土し,荘官級在地有力者の屋敷内における,鋳物師と木地・塗師の存在が裏付けられる遺跡もある。いっぽう次第に塗師や木地師などによる分業的生産に転換していく。そうしたなかで11~12世紀にかけて材料や工程を大幅に省略し,下地に柿渋と炭粉を混ぜ,漆塗りも1層程度の簡素な「渋下地漆器」が出現する。これに加えて,蒔絵意匠を簡略化した漆絵(うるしえ)が施されるようになり,需要は急速に拡大していった。やがて15世紀には食漆器の樹種も安価な渋下地に対応して,ブナやトチノキなど多様な樹種が選択されるようになっていく。渋下地漆器の普及は土器埦の激減まねき,漆椀をベースに陶磁器や瓦器埦などの相互補完による新しい食膳様式が形成された。漆桶や漆パレットや漆採取法からも変化の様子を取り上げた。禅宗の影響による汁物・雑炊調理法の普及は,摺鉢の量産と食漆器の普及に拍車をかけた。朱(赤色)漆器は古代では身分を表示したものであったが,中世では元や明の堆朱をはじめとする唐物漆器への強い憧れに変わる。16世紀代はそれが都市の商工業者のみならず農村にまで広く普及して行く。都市の台頭や農村の自立を示す大きな画期であり,近世への躍動を感じさせる「色彩感覚の大転換」が漆器の上塗色と絵巻物からも読み解くことができる。古代後期から中世への転換期,及び中世内の画期において,食漆器製作にも大きな変化が見られ,それは社会的変化に連動することを紹介した。

出版者

千葉商科大学国府台学会

雑誌

千葉商大論叢 (ISSN:03854558)

巻号頁・発行日

vol.60, no.1, pp.1-115, 2022-07-31

著者

谷 光隆

出版者

東洋文庫

雑誌

東洋学報 = The Toyo Gakuho (ISSN:03869067)

巻号頁・発行日

vol.64, no.3・4, pp.225-256, 1983-03

---

The successful control of the floods around the confluence of the Huang-ho 黄河 and the Huai-ho 淮河 (“Huang-huai chiao-hui”) was vital for safe transport on the Grand Canal during the Ming Dynasty. Regarded as one of the greatest river experts in China, P’an Chi-hsün employed various methods to control the river system around this area from flooding between the years of 1578-1579.This paper investigates the different methods P’an Chi-hsün employed and notes the following four points about his river control methods:1. Kao-chia dike (高家堰) on the northeast bank of the Hung-tsê Lake (洪沢湖) was strengthened so that the resulting increased force of the Huai River would carry away the silt from the Huang River at the point where they joined. This method is called “shu-shui kung-sha 束水攻沙” and distinguished him from the other experts of his time.2. Yao-ti 遥堤 dikes were constructed along both sides of the Huang River between Hsü-chou 徐州 and Ch’ing-ho 清河 prefectures. The Yao-ti were secondary dikes built at a short distance from the lü-ti 縷堤, the main dikes. The secondary dike was to check the overflow of the Huang River in case the main dike collapses.3. Concave outlets for surplus water, called chien-shui pa減水壩, were made at four different places in each secondary dike in the northern banks of the Huang River between T’ao-yüan 桃源 and Ch’ing-ho prefectures. They were located at a certain height from the bottom of the dike in order to prevent the breaking of the secondary dikes.4. T’ung-chi cha 通済閘, the main watergate on the Ch’ing-chiang p’u 清江浦 waterway (a part of the Grand Canal) at Huai-an 淮安 was shifted to an oblique position so that the full force of the waters from the Huang River and the Huai River were prevented from flowing into the Grand Canal.

著者

酒井 麻千子

雑誌

研究報告電子化知的財産・社会基盤(EIP)

巻号頁・発行日

vol.2012-EIP-58, no.7, pp.1-6, 2012-11-09

---

本稿では,著作物としていかなる性質の製作物を著作権で保護するのか,という点につき重要な要素である 「創作性」 の解釈につき,日本及びドイツにおける現在の議論を参照する.合わせて旧著作権法下における映画・写真の保護のあり方を検討することで,これらの問題に関する示唆を求めたい.

著者

坂西 友秀 大沢 広子

出版者

埼玉大学教育学部

雑誌

埼玉大学紀要. 教育学部. 教育科学 = Journal of Saitama University. Science of education (ISSN:03879321)

巻号頁・発行日

vol.38, no.2, pp.15-38, 1989

---

We hypothesized that picture books reflect authors' attitude and values common in our society. In order to test this hypothesis, we examined one hundred books. In 1987, among 5 libraries examined, these books were the most popular among children. We analysed the contents of these books, focusing on the sex roles assigned to characters.In general, both male and female characters were frequently assigned traditional sex roles, or had male-centric interpersonal relationships. The main results are as follows.1) Most frequently, the characters are animals which act like persons.2) Most of the leading characters are male.3) Most male adults are workers, and most female adults are housewives.4) In all the scenes, boys are playing outdoors. Though -in some scenes girls are playingoutdoors, in other scenes they are playing with dools in rooms.5) Generally, males use rough language, but females use polite language.we consider that the books clearly reflect the authors' attitudes and values towards sex roles, and discussed the way this could encourage sex discrimination.

著者

珂月 彩香 Ayaka KAZUKI

出版者

関西外国語大学

雑誌

人権を考える = Thinking about Human Rights (ISSN:2189177X)

巻号頁・発行日

vol.19, pp.49-67, 2016-03

著者

坂根 健 伴 さやか Takeshi Sakane Sayaka Ban

雑誌

大阪市立自然史博物館研究報告 = Bulletin of the Osaka Museum of Natural History (ISSN:00786675)

巻号頁・発行日

vol.65, 2011-03-31

著者

鬼頭 葉子

出版者

長野工業高等専門学校

雑誌

長野工業高等専門学校紀要 = Memoirs of Nagano National College of Technology (ISSN:18829155)

巻号頁・発行日

vol.53, pp.1-8, 2019-06-30

---

Michael Slote is a philosopher who bases his work on the ethics of empathic care and considers that the ethics of caring and empathy are also effective in realizing social justice. Slote considers justice in the laws, institutions, and practices of society as the analogy for ethics among individuals. Furthermore, Slote rejects the position that the ethics of care is not compatible with considering justice, and he claims that the ethics of care creates its own concept of justice. This article explores the notion of social justice starting from an individual's empathy. How does empathic social justice build its own notion of justice? I will discuss the plausibility and limitations of Slote’s theory of justice based on empathy.