著者

奥田 太郎

出版者

実践哲学研究会

雑誌

実践哲学研究 (ISSN:02876582)

巻号頁・発行日

vol.25, pp.77-82, 2002

著者

谷内 悠

出版者

東京大学文学部宗教学研究室

雑誌

東京大学宗教学年報 (ISSN:2896400)

巻号頁・発行日

vol.23, pp.165-171, 2006-03-31

著者

馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一郎 UMANO Yohei SAKAI Masahiko NISHIDA Naoki SAKABE Toshiki KUSAKARI Keiichirou

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.107, no.392, pp.73-78, 2007-12 (Released:2015-01-20)

---

近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SATソルバを利用した解法を応用して問題め矛盾・解の一意性を高速に検出することにより実現している. In recent years, several efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in solving Sudoku puzzles. In this paper, we present the interactive tool for designing Sudoku puzzles that we constructed experimentally by using a SAT solver. This tool contains three main functions: 'displaying numbers that can be filled in a cell without a contradiction', 'displaying cells without contributing the uniqueness', 'displaying a partial solution obtained by fundamental techniques.' The implementation of the former two functions relies on efficient checks of a contradiction or uniqueness of the given problem by using a SAT solver.

著者

山崎 律子 本多 泰揮 原田 潮 鈴木 裕二 大塚 吉則

出版者

日本温泉気候物理医学会

雑誌

日本温泉気候物理医学会雑誌 (ISSN:00290343)

巻号頁・発行日

vol.70, no.3, pp.165-171, 2007-05

---

Purpose: Half-body bathing is popular among young women as well as elderly people. As a matter of fact, it is reported that half-body bathing has a smaller burden than whole-body bathing from the point of physical influence. To clarify the relation between bathing habitude and health maintenance, that is, as an approach to general understanding the physiological effects by repeating bathing stimuli, the physiological changes by continuing half-body bathing were studied. Methods: Half-body bathing was repeated for 4 weeks in healthy female subjects (N=10, age:30.1±4.8, height:160.4±6.1cm, weight:55.6±7.0kg, body mass index:20.9±1.6kg/m2, mean±SD). Bathing was performed for 30 minutes and 3times a week, with a level of epigastrium without immersing arms. Changes of blood flow and energy expenditure were measured during bathing at 0W and 4W. Results and Discussion: By continuing bathing, blood flow increased more rapidly and higher during bathing, in addition, resting energy expenditure increased by 200 kcal/day with a significant difference. From these findings, it is assumed that repeated half-body bathing enhances the increase of blood flow through repeating thermal stimuli, which leads to elevated basal metabolism.

著者

村上 亮 Ryo Murakami

雑誌

博士学位論文 : 内容の要旨と審査結果の要旨

巻号頁・発行日

no.51集, pp.40-43, 2012-05-31

著者

木村 暢夫 高橋 生 天下井 清

出版者

北海道大学水産学部 = FACULTY OF FISHERIES, HOKKAIDO UNIVERSITY

雑誌

北海道大學水産學部研究彙報 (ISSN:00183458)

巻号頁・発行日

vol.41, no.3, pp.131-143, 1990-08

著者

Miyajima Yusuke Koike Hakuichi Matsuoka Hiroshige

出版者

Magnolia Press

雑誌

Zootaxa (ISSN:11755326)

巻号頁・発行日

vol.3786, no.3, pp.382-400, 2014-04-10

被引用文献数

4

---

A new fossil filefish, Aluterus shigensis sp. nov., with a close resemblance to the extant Aluterus scriptus (Osbeck), is described from the Middle Miocene Bessho Formation in Nagano Prefecture, central Japan. It is characterized by: 21 total vertebrae; very slender and long first dorsal spine with tiny anterior barbs; thin and lancet-shaped basal pterygiophore of the spiny dorsal fin, with its ventral margin separated from the skull; proximal tip of moderately slender first pterygiophore of the soft dorsal fin not reaching far ventrally; soft dorsal-fin base longer than anal-fin base; caudal peduncle having nearly equal depth and length; and tiny, fine scales with slender, straight spinules. The occurrence of this fossil filefish from the Bessho Formation is consistent with the influence of warm water currents suggested by other fossils, but it is inconsistent with the deep-water sedimentary environment of this Formation. This is the first fossil occurrence of a filefish in Asia; previously described fossil filefishes are known from the Pliocene and Pleistocene of Italy, the Pliocene of Greece, and the Miocene and Pliocene of North America. These fossil records suggest that the genus Aluterus had already been derived and was widely distributed during the Middle Miocene with taxa closely resembling Recent species.

著者

川上 則雄 カワカミ ノリオ

---

07084

著者

半谷 裕彦 米田 護

出版者

東京大学生産技術研究所

雑誌

生産研究 (ISSN:0037105X)

巻号頁・発行日

vol.34, no.11, pp.459-466, 1982-11-01

---

中国、特に上海と北京に建設されている代表的な大スパン構造の構造設計と構造概要を紹介する。大スパン構造は主に体育施設に用いられており、全国主要都市には平板型のスペースフレームを利用した体育館が建設されている。大スパン構造を実現させる原動力には経済性の追求を第一に掲げている

著者

上宮 智之 Tomoyuki Uemiya

巻号頁・発行日

2012

著者

古庄 英和

出版者

京都大学数理解析研究所

雑誌

数理解析研究所講究録 (ISSN:18802818)

巻号頁・発行日

vol.1324, pp.33-46, 2003-05

著者

松谷 敏雄

出版者

東京大学東洋文化研究所

雑誌

東洋文化研究所紀要 (ISSN:05638089)

巻号頁・発行日

vol.47, 1969-02

---

This essay is divided into two parts.In Past I, the author reports the 1964 season's excavations at No. 2 mound of Telul eth-Thalathat, in which he himself took part, and reconstructs the culture of the basal two levels.In Part II, he dinned“Thalathat phase”in stead of the so-called“neolithic Hassuna phase.”The assemblage of Thalathat phase is shown in plates.It is important that the assemblage exclude“husking tray.”Sites and levels belonging to Thalathat phase are Hassuna Ia, Matarrah lower levels, Ali Agha, Thalathat XV, XVI and possibly upper Jarmo.Thalathat phase is the oldest one in northern Mesopotamia and it flourished in the sixth millenium B. C. At that time, there were several distinguished culture-areas in West Asia.One of them was the northern Mesopotamia Culture.Jarmo site was a member of another culture-area i. e. Mortensen's“Zagros group.”The now established chronological table is wrong because it does not classify the two culture-areas.The author doubts and denies every reason that was thought to prove Jarmo phase was older than neolithic Hassuna phase.And he reached a conclusion that Jarmo phase and Thalathat (neolithic Hassuna) phase were flourished about the same time in each culture-area.It is better, the author believes, to recognize culture-areas in any time of prehistory and to set up phases as possible.This idea is proposed according to his hunch concerning the process from the origin of agriculture to the formation of civilization in West Asia.The hunch itself will be discussed in another essay.

著者

張 蓮

出版者

名古屋大学国際言語文化研究科国際多元文化専攻

雑誌

多元文化 (ISSN:13463462)

巻号頁・発行日

vol.7, pp.225-238, 2007-03 (Released:2007-06-20)

著者

有薗 真代

出版者

京都大学文学部社会学研究室

雑誌

京都社会学年報 : KJS = Kyoto journal of sociology

巻号頁・発行日

vol.15, pp.43-63, 2007-12-25

著者

竹内 慶至 タケウチ ノリユキ Takeuchi Noriyuki

出版者

大阪大学大学院人間科学研究科

雑誌

大阪大学大学院人間科学研究科紀要 (ISSN:13458574)

巻号頁・発行日

vol.40, pp.111-131, 2014-02-28

著者

大原 達 清水 正秀 柿沼 光明 木村 卓郎 岡田 昌彦

出版者

北海道大学免疫科学研究所

雑誌

北海道大学免疫科学研究所紀要 (ISSN:0385504X)

巻号頁・発行日

vol.39, pp.48-51, 1979-03

---

原著

著者

ZAINI SOORIA Sherliza SAWADA Sumio GOTO Hiroyuki

出版者

京都大学防災研究所

雑誌

京都大学防災研究所年報. B = Disaster Prevention Research Institute Annuals. B (ISSN:0386412X)

巻号頁・発行日

vol.55, no.B, pp.81-94, 2012-09-30

著者

山﨑 みどり

出版者

中國詩文研究會

雑誌

中國詩文論叢 (ISSN:02874342)

巻号頁・発行日

vol.3, pp.30-44, 1984-06-01

著者

Sherliza Zaini Sooria

出版者

Kyoto University

巻号頁・発行日

2012-03-26

---

新制・課程博士

著者

柴田 碧

出版者

東京大学生産技術研究所

雑誌

生産研究 (ISSN:0037105X)

巻号頁・発行日

vol.45, no.3, pp.155-162, 1993-03-01

---

本稿は1958年から発足した装置機器学(化学機械)部門担当の柴田研究室の研究課題の発展の経過についてまとめたものである.同年発足した日本最初の原子力発電所の耐震設計に関する委員会に参加したことがきっかけとなって,それ以来機器・配管系の耐震設計手法の開発を行って来た.これは1970年代になり石油化学プラントヘと発展した.この間,理論,試験方法,実地震応答観測などを手掛け,さらに防災関係と展開した.そして,地震による損傷事例の原因を解明していくうちに,ヒューマン・エラーなどに関する研究へと進展した.どのような背景で,30年余の間研究がこのように発展したかを述べる.