著者

冨岡 志保 下野 昌幸 加藤 絢子 高野 健一 塩田 直樹 高橋 幸利

出版者

一般社団法人 日本小児神経学会

雑誌

脳と発達 (ISSN:00290831)

巻号頁・発行日

vol.40, no.1, pp.42-46, 2008-01-01 (Released:2011-12-12)

参考文献数

9

---

全般性けいれんの後に発熱, 頭痛, 項部硬直が持続した16歳男児.ごく軽度の意識低下, 脳波で前頭葉に連続性棘徐波および髄液細胞数上昇, IgG indexの上昇とoligoclonal IgG band陽性を認めた.頭部MRIのFLAIR像で両側半球に散在する部分的灰白質の信号亢進が疑われた.髄膜脳炎と判断し, methylprednisolone pulse療法を実施したところ, 臨床症状と脳波異常は軽快した.髄液中の抗グルタミン酸受容体 (以下GluR) は入院時ε2・δ2に対するIgG・IgM抗体がともに陽性であり, 軽快時は両抗体がともに陰性となった.抗GluR抗体が陽性になる髄膜脳炎の中に, Rasmussen脳炎とは明らかに異なる経過をとり, 治療に反応する予後良好な一群が存在する可能性が強く示唆された.

著者

岡谷繁実 著

出版者

文成社

巻号頁・発行日

vol.前編 下巻, 1909

著者

堀野 定雄

出版者

一般社団法人 日本人間工学会

雑誌

人間工学 (ISSN:05494974)

巻号頁・発行日

vol.53, no.Supplement1, pp.S254-S255, 2017-06-01 (Released:2017-09-07)

著者

Kazunori Okamura Shusaku Kanai Sadaaki Oki Satoshi Tanaka Naohisa Hirata Yoshiaki Sakamura Norikatsu Idemoto Hiroki Wada Akira Otsuka

出版者

The Society of Physical Therapy Science

雑誌

Journal of Physical Therapy Science (ISSN:09155287)

巻号頁・発行日

vol.29, no.6, pp.1001-1005, 2017 (Released:2017-06-07)

参考文献数

20

被引用文献数

11

---

[Purpose] There are no reliable evidences that the weakening of intrinsic foot muscles causes the decrease of the medial longitudinal arch (MLA) height. The purpose of this study was to confirm whether the fatigue of intrinsic foot muscles decrease the MLA height during standing and gait using 3D motion analysis system. [Subjects and Methods] Twenty healthy male subjects participated in this study. Foot kinematics was measured using an Oxford Foot Model before and after fatigue-inducing exercises of the abductor hallucis and flexor hallucis brevis muscles. [Results] Following fatigue-inducing exercise, in both standing and gait, the MLA height did not decrease but slightly increased. In addition, the reduction of a rear foot eversion angle was noted. [Conclusion] Fatigue of the abductor hallucis and flexor hallucis brevis muscles did not cause a change associated with collapsing of the MLA during both standing and gait. This suggested that the MLA support force from these muscles would be compensated by other MLA support structures, such as extrinsic foot muscles.

著者

清木昌

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ゲーム情報学(GI) (ISSN:09196072)

巻号頁・発行日

vol.2004, no.28, pp.51-56, 2004-03-09

参考文献数

6

---

As an attempt to reduce the production costs of games with interactive stories using computer science methodologies this thesis proposes applying the model checking theory to game scenario verification. It enables systematic and automatic verification of consistency conditions such as reachability and freeness from infinite loops. The simplest model checking method enumerate all states explicitly. However as is well known the "state explosion problem" instantly occurs in this method. Thus we apply symbolic model checking techniques based on BDDs (Binary Decision Diagrams) and CTL (Computation Tree Logic) is adopted to represent specifications. By representing the state space symbolically we are able to deal with mass states are their relational operation as an logical formula and its logical operation. Nevertheless the computation time is still large. To reduce the time we focus on characteristics of game scenarios. The transition graph for a typical game scenario is divided into clusters more clearly than the ones for ordinary targets of model checking. The number of checked states is further reduced by the optimization with the live variable analysis. By using these methods we checked two temporal properties of a game scenario of commercial PC game software reachability and freeness from infinite loops in about five minutes.As an attempt to reduce the production costs of games with interactive stories using computer science methodologies, this thesis proposes applying the model checking theory to game scenario verification. It enables systematic and automatic verification of consistency conditions such as reachability and freeness from infinite loops. The simplest model checking method enumerate all states explicitly. However, as is well known, the "state explosion problem" instantly occurs in this method. Thus, we apply symbolic model checking techniques based on BDDs (Binary Decision Diagrams), and CTL (Computation Tree Logic) is adopted to represent specifications. By representing the state space symbolically, we are able to deal with mass states are their relational operation as an logical formula and its logical operation. Nevertheless, the computation time is still large. To reduce the time, we focus on characteristics of game scenarios. The transition graph for a typical game scenario is divided into clusters more clearly than the ones for ordinary targets of model checking. The number of checked states is further reduced by the optimization with the live variable analysis. By using these methods, we checked two temporal properties of a game scenario of commercial PC game software, reachability and freeness from infinite loops, in about five minutes.

著者

藤田 英典

出版者

北海道社会学会

雑誌

現代社会学研究 (ISSN:09151214)

巻号頁・発行日

vol.4, pp.1-33, 1991

---

「学校の荒廃」「教育の病理」が言われるようになって一五年ほどになる。この間、さまざまの診断がくだされ、処方箋が提示され、改革の努力がなされてきた。しかし、問題状況は依然として続いている。〈問題〉は解消されるのでなく、むしろ〈問題〉に対処するための制度づくり・組織づくりがなされている。なぜか。それは〈問題〉が構造的基盤をもっているからであろう。本稿では、その構造的特質について、〈分節型社会〉〈学校化社会〉〈情報化社会〉〈クロスオーバー型趣味縁社会〉と言った観点から社会学的に考察する。

著者

菊池 浩明 向殿 政男

雑誌

全国大会講演論文集

巻号頁・発行日

vol.38, pp.1015-1016, 1989-03-15

---

Prologは述語論理に基づく論理型のプログラミング言語であり,そのプログラムの実行は導出原理による機械的証明手続きとして解釈できることがよく知られている.ところが,Prologでは,導出の効率のために述語論理の部分系であるホーン集合に限った導出しか実現されていない.よって,命題が偽であることの証明はできず,否定演算も通常の論理否定とは異なっている.通常これらの問題は閉世界仮説,すなわち,証明できないもの(未知,未定義)は偽であるとする仮説で理由付けられてはいるが,推論システムにとって本質的な情報である未知量を無視する考え方には疑問が残る.そこで本稿では,4値論理(真,偽,未知,矛盾)に基づくPrologを提案し,これまで偽と同一視することで排除されていた未知の情報を積極的に認めることを試みる.

出版者

東洋自由新聞社

巻号頁・発行日

vol.1号, 1881

著者

天田 城介

出版者

日本女子大学現代女性キャリア研究所

雑誌

現代女性とキャリア:日本女子大学現代女性キャリア研究所 紀要 (ISSN:18843085)

巻号頁・発行日

no.7, pp.6-20, 2015-07-31

著者

柴田 長吉郎 玉井 秀昭 田中 勤 若松 求

出版者

The Institute of Electrical Engineers of Japan

雑誌

電気学会論文誌C(電子・情報・システム部門誌) (ISSN:03854221)

巻号頁・発行日

vol.110, no.6, pp.370-375, 1990-06-20 (Released:2008-12-19)

参考文献数

3

---

In accordance with rapid increase of industrial microwave application on heating, more and more high power microwave sources are required. Among many microwave devices, magnetron is most advantageous in economical point of view. Responding to these requirements, a super high power magnetron with output power of 420kW in CW which will be the largest in the world at this time, objective power being 500kW, was developed. In this paper, the design principle, the construction and the scale of each parts are described. The measured characteristics of the developed device reveal satisfactory.

著者

エーチャン

出版者

神田外語大学

雑誌

国際社会研究 : 神田外語大学国際社会研究所紀要 (ISSN:21853827)

巻号頁・発行日

vol.2, pp.1-14, 2011-12

著者

小玉 亮 高下 昌裕 田口 峻 梶本 裕之

出版者

特定非営利活動法人 日本バーチャルリアリティ学会

雑誌

日本バーチャルリアリティ学会論文誌 (ISSN:1344011X)

巻号頁・発行日

vol.21, no.3, pp.529-532, 2016 (Released:2016-10-31)

参考文献数

9

---

In this paper, we propose a novel virtual reality entertainment system using a car as a motion platform. The motion platform is usually installed in special locations such as theme park since it requires large cost and space. On the contrary, by using a car as a motion platform, it is already prevalent and it can be transported easily. We developed a prototype system based on the small-sized electric vehicle. Experiment with immersive contents showed that all users responded quite positively to the experience played on a small parking area.

著者

浅原 正和

出版者

日本哺乳類学会

雑誌

哺乳類科学 (ISSN:0385437X)

巻号頁・発行日

vol.57, no.2, pp.381-386, 2017 (Released:2018-02-01)

参考文献数

18

著者

橋本 良子 山田 順常 林 進 中島 襄 城戸 国利

出版者

近畿産科婦人科学会

雑誌

産婦人科の進歩 (ISSN:03708446)

巻号頁・発行日

vol.28, no.1, pp.83-86, 1976-01-01 (Released:2011-10-11)

参考文献数

12

被引用文献数

2

---

われわれは, 半年前より持続する緑色帯下を主訴として来院し, レ線撮影により腟内に鈴を発見した1例を経験したので報告する. 患児は4才. 全身状態には異常なく, 外陰部は発育正常で外傷はなかったが, 発赤湿潤して悪臭があり, 腟スメアはI°~II°であった. 肛門診で前方に硬い腫瘤を触れ, 腟内に挿入したゾンデの先端に金属様の抵抗があったので, レ線撮影を行なったところ直経約1cmの鈴が描出された. 入院の上, 全麻下に子宮鏡を腟内に挿入して鈴の位置を確認し, 肛門から示指をもって容易に圧出し得た. 幼女の腟内異物は稀で, かつ診断が困難な場合が多いので, 文献的考察を加えて報告した.

著者

Nurul Lubis Sakriani Sakti Koichiro Yoshino Satoshi Nakamura

出版者

The Japanese Society for Artificial Intelligence

雑誌

人工知能学会論文誌 (ISSN:13460714)

巻号頁・発行日

vol.33, no.1, pp.DSH-D_1-10, 2018-01-01 (Released:2018-01-31)

参考文献数

29

被引用文献数

2

---

To completely mimic the naturalness of human interaction in Human-Computer Interaction (HCI), emotion is an essential aspect that should not be overlooked. Emotion allows for a rich and meaningful human interaction. In communicating, not only we express our emotional state, but we are also affected by our conversational counterpart. However, existing works have largely focused only on occurrences of emotion through recognition and simulation. The relationship between an utterance of a speaker and the resulting emotional response that it triggers is not yet closely examined. Observation and incorporation of the underlying process that causes change of emotion can provide useful information for dialogue systems in making a more emotionally intelligent decision, such as being able to take proper action with regard to user’s emotion, and to be aware of the emotional implication of their response. To bridge this gap, in this paper, we tackle three main tasks: 1) recognition of emotional states, 2) analysis of social-affective events in spontaneous conversational data, to capture the relationship between actions taken in discourse and the emotional response that follows, and 3) prediction of emotional triggers and responses in a conversational context. The proposed study differs from existing works in that it focuses on the change of emotion (emotional response) and its cause (emotional triggers) on top of the occurrence of emotion itself. The analysis and experimental results are reported in detail in this paper, showing promising initial results for future works and development.

著者

白鳥 潤一郎 シラトリ ジュンイチロウ Junichiro Shiratori

雑誌

立教法学

巻号頁・発行日

vol.96, pp.104-31, 2017-12-15

著者

増井 良啓

出版者

有斐閣

雑誌

ジュリスト = Monthly jurist (ISSN:04480791)

巻号頁・発行日

no.1478, pp.119-122, 2015-04

著者

坂本 亮太

出版者

近畿大学民俗学研究所

雑誌

民俗文化 No.29 (2017. 10) (ISSN:09162461)

巻号頁・発行日

no.29, pp.341-371, 2017-10-31 (Released:2017-12-25)

著者

高須 廣一

出版者

海人社

雑誌

世界の艦船

巻号頁・発行日

no.571, pp.188-195, 2000-07

著者

永易 裕子 佐藤 美恵子 荻原 麻紀 柏木 ゆきえ 木下 彩子 中村 順子 Yuko Nagayasu Mieko Sato Maki Ogiwara Yukie Kashiwagi Ayako Kinoshita Yoriko Nakamura 日本赤十字秋田看護大学看護学部 日本赤十字秋田看護大学看護学部 日本赤十字秋田看護大学看護学部 日本赤十字秋田看護大学看護学部 日本赤十字秋田看護大学看護学部 秋田大学医学系研究科保健学専攻

出版者

日本赤十字秋田看護大学・日本赤十字秋田短期大学紀要編集委員会

雑誌

日本赤十字秋田看護大学・日本赤十字秋田短期大学紀要 = Journal of the Japanese Red Cross Akita College of Nursing and the Japanese Red Cross Junior College of Akita (ISSN:21868263)

巻号頁・発行日

no.18, pp.45-55, 2014-03-31