著者

本郷 次雄

出版者

滋賀大学教育学部

雑誌

滋賀大学学芸学部紀要, 自然科学 (ISSN:04886291)

巻号頁・発行日

no.5, pp.57-63, 1956

著者

七邊 信重

出版者

日本デジタルゲーム学会

雑誌

デジタルゲーム学研究 (ISSN:18820913)

巻号頁・発行日

vol.2, no.1, pp.2-10, 2008 (Released:2021-07-01)

著者

アフェルト レナルド

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.34, no.2, pp.2_64-2_74, 2017-04-26 (Released:2017-06-26)

---

コンピュータのプログラムと数学の証明の間に密な関係があることはよく知られている.1969年に発見されたCurry-Howard同型対応により,プログラムの型を言明(statement)として見れば,プログラム自体はその言明の証明として見られる.これにより,数学の証明の検査はプログラムの型付けに帰着する.この発想に基づいて,定理証明支援系という検証ツールの開発が行われてきた.近年,定理証明支援系を用いて,ようやく現実的なプログラムと証明の検証が可能となっている.現実的な証明の一例として,2005年から2012年までマイクロソフト・INRIAの共同研究組織で形式化された奇数位数定理が挙げられる.奇数位数定理は膨大な証明により示された重要な群論の定理であるため,その形式化は大きなマイルストーンとなっている.加えて,その形式化の基盤であるMathematical Componentsもまた,形式数学におけるライブラリとして重要な成果である.我々のデジタル社会を支える基本的なコンピュータプログラムであるRSA暗号や楕円曲線暗号や符号などは,整数論や群論や線形代数などの数学に基づいているが,Mathematical Componentsを用いることで,これらのプログラムの厳密な仕様の記述ができるようになった.しかし,Mathematical Componentsのような大規模なライブラリの利用には専門知識が不可欠である.本解説では,Mathematical Componentsによる形式化を紹介する.群論のラグランジュ定理を用いて,そのライブラリの基本的な使い方を説明する.

著者

藤田 正悟 上垣外 英剛 船越 孝太郎 奥村 学

雑誌

研究報告自然言語処理(NL) (ISSN:21888779)

巻号頁・発行日

vol.2021-NL-250, no.3, pp.1-6, 2021-09-21

---

抽出型要約は元の文書において重要度が高い文を抽出し要約として再構成する手法であり広く使われている.その一方,この方法では複数文書を横断して重要文を抽出し要約を構成する際に,抽出された文の順序が適切ではない場合がある.解決策として既存の文並び替えモデルを使って文並び替えを行うことが考えられるが,抽出型要約に適した文並び替えの教師データが存在せず,尚且つ抽出型要約において並び替えを考慮した評価尺度が存在しないという問題がある.そこで我々は抽出型要約に適した文並び替えの教師データの作成手法と抽出型要約を並び替える場合の評価指標を提案する.いくつかのベースラインと比較した結果,我々の評価指標は特に一貫性において人手評価と高い相関を示した.

著者

坂田 伸子

雑誌

東洋大学社会学部紀要 = The Bulletin of Faculty of Sociology,Toyo University

巻号頁・発行日

vol.50, no.2, pp.143-153, 2013-03

著者

板倉 和裕

出版者

一般財団法人 アジア政経学会

雑誌

アジア研究 (ISSN:00449237)

巻号頁・発行日

vol.67, no.3, pp.37-41, 2021-07-31 (Released:2021-08-12)

参考文献数

2

著者

森口 恒一

出版者

横浜国立大学

雑誌

横浜国立大学人文紀要. 第二類, 語学・文学 (ISSN:0513563X)

巻号頁・発行日

vol.38, pp.1-8, 1991-10-31

出版者

朝日新聞社

雑誌

アエラ (ISSN:09148833)

巻号頁・発行日

vol.17, no.20, pp.36-38, 2004-05-03

著者

鶴田 武志

雑誌

文化科学研究 = CULTURAL SCIENCES

巻号頁・発行日

vol.27, no.1, pp.23-52, 2016-03-15

出版者

北海道

巻号頁・発行日

1897

著者

川上清吉 著

出版者

霞ケ関書房

巻号頁・発行日

1942

著者

横山 顕子

出版者

一般社団法人 日本心身医学会

雑誌

心身医学 (ISSN:03850307)

巻号頁・発行日

vol.59, no.3, pp.251-257, 2019 (Released:2019-04-01)

参考文献数

16

---

過敏性腸症候群 (irritable bowel syndrome : IBS) に対して腸管に焦点を当てた催眠療法 (gut-directed hypnotherapy : GDH) の有効性が欧米などから多く報告されているが, 本報告では, GDHではなく, 単回の年齢退行催眠療法で1年にわたり有効であった男性の下痢型患者の1例を報告する. 症例は49歳, 男性. Rome Ⅳ基準下痢型IBS. 8歳の頃に実母が病死後, IBSを発症. 母親が亡くなる前後の場面を催眠下で想起し, その場面に対する認知の変容を導いたところ, セッション後IBS症状は軽快した. セッション前後の心理検査ではうつと不安の尺度が軽減し生活の質が高まったと評価された. 少ない来院回数を望む患者やGDHに反応しない患者, 幼少時のトラウマの関与が疑われる患者に対しては, 退行療法が治療の選択肢の一つになると考える. なお, 退行療法を行う際には, クライアント自らの気づきを尊重することが重要と考える.

著者

笹川 堯 深谷 隆司 片山 さつき

出版者

日経BP社

雑誌

日経ビジネス (ISSN:00290491)

巻号頁・発行日

no.1506, pp.120-122, 2009-09-07

---

1935年生まれ。明治大学法学部中途退学。2度の落選を経験した後、86年に衆議院選挙に初当選。以後7期連続で当選。2001年に科学技術政策担当大臣、2008年から自民党総務会長。群馬2区。 73歳の自民党総務会長は3輪バイクに乗り込み、民家を行脚。親近感を与える作戦もむなしく、白いスーツで自転車遊説に挑んだ37歳の民主党議員に敗北した。選挙活動中から民主党の経済政策を批判。

著者

亀井 静香

出版者

日経BP社

雑誌

日経ビジネス (ISSN:00290491)

巻号頁・発行日

no.1018, pp.38-41, 1999-11-29

---

問 自由・自民の合流話、自民党内の意見対立など、今秋の自自公連立政権発足後の政局は解散・総選挙への思惑も絡んで大変波乱含みです。政調会長自身は保守2党論なんですか。 答 小選挙区制には基本的な力学がある。どういうことかと言うと、政権与党が限りなく膨張するということです。今もその現象ですよ。皆が権力にすり寄ってくる。

著者

Yukihiro Fukusima 福島 幸宏

出版者

国立民族学博物館

雑誌

国立民族学博物館研究報告 = Bulletin of the National Museum of Ethnology (ISSN:0385180X)

巻号頁・発行日

vol.46, no.1, pp.163-181, 2021-07-30

著者

大木 洵人

出版者

国立研究開発法人 科学技術振興機構

雑誌

情報管理 (ISSN:00217298)

巻号頁・発行日

vol.57, no.4, pp.234-242, 2014

被引用文献数

2

---

本稿では,情報技術を駆使した聴覚障がい者向けサービスを紹介する。日本の聴覚障がい者が直面している社会課題を取り上げ,その解決に情報技術がどのように役立つのかを著者が代表を務めるシュアールグループの事例を中心に説明する。(1)聴覚障がい者や手話に対する理解の低さ,(2)聴覚障がい者と聴者における機会提供の格差,(3)聴覚障がい者に向けたサービスの限界などの社会的背景から,(1)手話通訳者の不足,(2)手話から引く辞典の欠如,(3)手話による娯楽の不足といった社会的課題に直面している。これらの課題を解決するために,シュアールでは,(1)遠隔手話通訳,(2)手話キーボード,(3)手話ガイドアプリ,(4)手話ポッドキャストの4つのサービスを提供している。これらすべてのサービスは近年の情報技術の発展がなければ生まれなかったものであり,まさに情報技術が社会課題の解決に寄与する実例である。

著者

石 剛

出版者

成蹊大学文学部学会

雑誌

成蹊大学文学部紀要 (ISSN:05867797)

巻号頁・発行日

no.51, pp.73-86, 2016-03

---

戦後、日本は70 年の間、一連の言語計画をうち立ててきた。その歩みの中で、「国語審議会」(2001年から文部科学省「文化審議会国語分科会」)が主導的な役割を果たしてきた。なお、1970年代以後、「国際交流基金」、「日本語教育振興協会」など、政府系および半官半民か民間の組織も多数立ち上げられ、言語政策の企画推進と実施に加わり、それぞれ異なる役割をはたしながら連携しているような体系をなしてきた。その実態についてはすでに数多くの研究があったが、本文では時間軸に沿って、「国語審議会」を中心に、これら組織の活動を整理したうえで、日本の言語計画の特徴を東アジアというバックグランドにおける意味を探ってみた。これにより、東アジア言語思想史という視座を生かしながら、アジア地域諸国の言語政策比較研究を試みる地ならしとしたいと考えている。 In the past 70 years after the world war II , Japan has established a series of signifi cant national language planning. The Japanese Language Council or Council for Cultural Aff airs is a leading role in examining and establishing the language policy. The institutions such as The Japan Foundation, Association for the Promotion of Japanese Language Education are also involved in the implementation of the language planning. All of these institutions cooperate with each other, devoting to building up the network of the language planning of Japan. According to the diff erence of nature of work, this paper will introduce the general situation of the Japanese national language planning in the past 70 years in chronological order, and analyses its characteristics in brief.

著者

山路愛山 著

出版者

中央書院

巻号頁・発行日

1914

著者

髙島 まり子

出版者

鹿児島女子短期大学

雑誌

鹿児島女子短期大学紀要 (ISSN:02868970)

巻号頁・発行日

no.49, pp.85-95, 2014

---

英雄の死と再生を描く太陽神話縮図の下半円を C.G. ユングは 「夜の航海」 1 (night sea journey) と呼び, 自我が無意識の深みに下降し, 死を経た後に無意識から新たな心的エネルギーを供給されて意識面に再生するまでの精神的再生過程を象徴する元型と考えた. この過程は意識と無意識の統合を目指し, 様々なイニシエーションに死と再生の儀式として組込まれてもいる. 筆者は1850年刊行のナサニエル・ホーソーン作 『緋文字』 にこの元型的過程を見出したが 2, 時空を超えた2000年のデンマーク映画 『ダンサー・イン・ザ・ダーク』 3 にそれを見出し, その意味と 『緋文字』 との関連性を同年に論じた 4 (以後, これを拙論<Ⅰ>と記す.). ところが, 2001年に公開されて当時の我が国の映画史上最高の2,340万人もの観客動員を記録し, 2002年ベルリン国際映画祭最高賞の 「金熊賞」 と2003年米国アカデミー賞長編アニメーション賞を受賞した宮崎駿監督作品 『千と千尋の神隠し』 (以下, 『千尋』 と表記する) が, 全編これ 「夜の航海」 と言ってもよい内容であることは, 日本を舞台に日本人を描いた作品であるだけに一層嬉しい発見であった. あらすじを述べ, 『緋文字』 と比較しつつヒロインの 「夜の航海」 をり, ホーソーン的な意識と無意識の統合過程が現代の我々にとって持つ意味を再考してみたい.

著者

佐藤 克文 木下 千尋

出版者

公益社団法人 日本農芸化学会

雑誌

化学と生物 (ISSN:0453073X)

巻号頁・発行日

vol.57, no.1, pp.29-35, 2018-12-20 (Released:2019-12-20)

参考文献数

18

---

小型の記録計を対象動物に搭載し,動物の行動や生理,あるいはその周辺環境を測定する手法が注目を浴びている.直接観察が難しい海洋動物を対象として始まったこの手法には,バイオロギング(biologging)という名前が付けられ,現在広く野生動物調査に用いられている.たとえば,鳥類であるペンギンが,餌を捕るために深度300 mへの潜水を繰り返す間に,その体深部温度が平熱の38℃から10℃以上も低下するなど,主に陸上動物を対象とした研究で構築されてきた従来の常識を覆すような発見が相次いでいる.本稿では,爬虫類であるウミガメ類の体温とその特徴に関連した生活史について,バイオロギングによって明らかになった成果を紹介する.