著者

大芝 猛

雑誌

情報処理学会研究報告アルゴリズム(AL)

巻号頁・発行日

vol.1991, no.69, pp.1-9, 1991-07-22

---

1階術語論理の論理式Aが妥当性を肯定的に検証されるとき得られるguide情報を利用するならば,証明図(型)を試行錯誤なくかき上げるアルゴリズムをすでに提示下が、更に人間の理解しやすい証明形式(等)へ変換するアルゴリズムを連結し,自然な証明を一貫した自動証明手続きで得ることへのアプローチを問題とする。このとき完成した前者に続き,後者のLK→NK変換の結果が内容的にも自然なものとするため,まずLKから(+排中律)体系への変換を行うアルゴリズムを提示した。LKの推論の要素はA_1<&・・・&>A_m&xrArr;B_1^<or・・・or>B_nの意味をもつsequent形式で,右辺がn&ge;2のとき理解しにくい。これを右辺がn&le;1のLJ型sequentからなる証明図に一たん分解し,排中律の拡張を用いて再び結合することによりアルゴリズムを実現したが,このとき,人間の証明としても自然な三段論法が導入される。A Convert algorithm LK to (LJ+excluslve middle) and its application to automatic theorem proving are discussed. In LK system, inference rules for sequents of the form A_1,・・・,A_m→B_1,・・・,B_n(n&le;2) is different from human reasonig. In fact, it is difficult to translate directly LK-proofs into proors on natural deduction system such as NK. Then we present an algorithm which converts an arbitrary LK-proof to a proof which consists of LJ-sequents whose right side has at most one formula. In application of this algorithm, decreasing process of the number of right side formulas, derives naturally syllogisms whose cut formulas are generalized exclusive middles.

出版者

写

巻号頁・発行日

vol.[8],

著者

李 明輝

出版者

山口大学

雑誌

東亞経濟研究 (ISSN:09116303)

巻号頁・発行日

vol.60, no.3, pp.263-292, 2001-12-31

著者

大橋, 方長

出版者

写

巻号頁・発行日

vol.[1], 1841

著者

奥野 拓 大場 みち子 山口 琢

出版者

一般社団法人 人工知能学会

雑誌

人工知能学会全国大会論文集 第29回全国大会(2015)

巻号頁・発行日

pp.1G2OS08a1, 2015 (Released:2018-07-30)

---

Linked Open Data(LOD)技術を利用して、地域の情報化を推進する、公立はこだて未来大学の取り組みを紹介する。取組の場は講義、学部・大学院での研究やProject/Problem Based Learning (PBL)形式の演習であり、対象分野は観光、地域の歴史や防災である。地域と連携した研究やPBLの活動内容と開発したアプリなどの成果について報告する。

著者

村上哲見注

出版者

岩波書店

巻号頁・発行日

1959

著者

香蝶楼国貞

出版者

佐野喜

雑誌

東海道五十三次

著者

水野 佑紀 藤森 英治 吉永 淳

出版者

日本微量元素学会

雑誌

Biomedical Research on Trace Elements (ISSN:0916717X)

巻号頁・発行日

vol.28, no.4, pp.154-161, 2018-02-28 (Released:2018-04-10)

参考文献数

9

---

Urinary cadmium (Cd) concentration has been used as a biomarker of long-term exposure to this metal in the previous researches. ICP mass spectrometry (ICP-MS) has become a method of choice for measuring urinary Cd concentrations, however, spectral interference from molybdenum oxide (MoO) has to be removed/corrected for accurate analysis. This study evaluated (1) MoO spectral interference in urinary Cd determination by ICP-MS, and (2) the performance of chelate-resin solid phase extraction (SPE) for removal of the interference. Cadmium concentrations in human urine certified reference materials and human urine samples from a male subject were determined by ICP-MS with mathematical MoO interference correction and ICP-MS preceded by SPE, as well as those by electrothermal atomic absorption spectrometry (ETAAS). The sensitivity and accuracy of the determination of urinary Cd was generally satisfactory for all the 3 methods; however, ICP-MS without SPE was found to give a deviated Cd concentrations for urine samples with higher Mo/Cd ratio due to uncertainty in interference correction. It was concluded that ICP-MS with mathematical interference correction is suitable as a routine method for measuring urinary Cd concentrations, but ICP-MS with SPE can be a method of choice for urine with high Mo/Cd ratio and for highly sensitive and accurate urinary Cd analysis.

著者

松浦僧梁 注

出版者

法蔵館

巻号頁・発行日

1885

著者

田中 則広

出版者

NHK放送文化研究所

雑誌

放送研究と調査 (ISSN:02880008)

巻号頁・発行日

vol.59, no.7, pp.68-77, 2009-07

著者

山下 主子 大角 幸雄 山下 光 山鳥 重

出版者

日本失語症学会 (現 一般社団法人 日本高次脳機能障害学会)

雑誌

失語症研究 (ISSN:02859513)

巻号頁・発行日

vol.20, no.4, pp.319-326, 2000 (Released:2006-04-25)

参考文献数

14

被引用文献数

2 2

---

動詞の想起障害と助詞の誤りが顕著な失語症の1例を報告した。症例は60歳の右利き女性で,頭部交通外傷により非流暢性失語症と右不全片麻痺を生じた。頭部MRIでは,左大脳半球の皮質領域に高信号域を示す散在性病変が認められ,右半球の前頭葉内側部にも一部及んでいた。日常会話や物品の使用法の説明課題において,名詞の想起が比較的保たれていたのに対して,動詞の想起障害と助詞の誤りが顕著だった。そこで,動作絵の説明課題を経時的に実施することによって本例の動詞と助詞の回復過程を検討し,動詞の想起障害と文法能力との関係を考察した。6ヵ月後,動詞の想起と助詞の使用はそれぞれ改善した。助詞の選択は動詞の正答,誤答にかかわらず同じように改善したことから両者はある程度独立した能力であると考えられた。本例の多発性病変からは解剖学的考察はできないが,動詞の想起と助詞の選択は異なった神経基盤の上に成り立っている可能性が示唆された。

著者

宋釋延壽撰

出版者

中野是誰刊

巻号頁・発行日

vol.[2], 1642

著者

須永 徳武 スナガ ノリタケ Noritake Sunaga

雑誌

立教經濟學研究

巻号頁・発行日

vol.66(4), pp.47-72, 2013-03-21

著者

小島 徳重 生駒 信康 三原 伊文

出版者

公益社団法人 日本マリンエンジニアリング学会

雑誌

マリンエンジニアリング (ISSN:13461427)

巻号頁・発行日

vol.52, no.5, pp.594-596, 2017-09-01 (Released:2018-03-07)

被引用文献数

1

著者

和田 光弘 Wada Mitsuhiro

出版者

名古屋大学文学部

雑誌

名古屋大学文学部研究論集. 史学 (ISSN:04694716)

巻号頁・発行日

vol.60, pp.17-40, 2014-03-31

---

This paper investigates several interesting aspects of 18th century America utilizing a little over fifteen historical ephemera privately owned by the author. First, as an introduction, the section 1 of the chapter 1 deals with three items concerning George Washington (GW) in their historical contexts: a pocket watch, a medal, and a cameo. An analysis of GWʼs pocket watches from his portraits is an epilogue of the former three articles written by the author in this bulletin on GWʼs timepieces. Historical meanings of a famous memorial medal (“Comitia Americana medal”) issued by the U.S. government in 1780s and dedicated to GW, and a precious “Berlin casting” iron cameo, on which the bust of GW is engraved and had been owned by a descendant of William Floyd, a revolutionary general (now owned by the author) are also analyzed. The section 2 of the chapter 1 treats three valuable ephemera written by relatives of GW: a receipt issued in 1769 by John Washington, a distant relative of GW and an overseer of the Dismal Swamp Company, a check issued in 1839 by Lawrence Lewis, GWʼs favorite nephew, and a check issued in 1846 by George Washington Parke Custis, GWʼs adopted grandson and the original owner of Arlington House. The section 1 of the chapter 2 is an analysis of the “texture” (physical characteristics) of the seventeen ephemera dealt with in this article and other historical documents dealt with in the former articles, which induces interesting facts on the size-system of documents used at that time. The section 2 of the chapter 2 analyzes the text itself of fourteen ephemera such as receipts, promissory notes, and bills of exchange including a receipt for the repayment by Thomas Penn, a son of William Penn, the founder of the colony of Pennsylvania.

出版者

日経BP社

雑誌

日経コンピュ-タ (ISSN:02854619)

巻号頁・発行日

no.700, pp.156-163, 2008-03-24

---

超巨大な映像データベースの中には、地球上の日常生活がすべて記録されている。過去の映像から現在の映像まで、好きな時間の好きな場所の映像を、いろいろな角度から見られるようになる。まるで神様が地球を眺めるように。 かつて映画監督の黒澤明氏は、「創造の源は記憶である」と言った。知識の断片を蓄積し、結びつけることで新しいものを創造するということだ。

著者

藤澤 忠盛 神田 麻衣

出版者

一般社団法人 日本デザイン学会

雑誌

日本デザイン学会研究発表大会概要集 日本デザイン学会 第64回春季研究発表大会

巻号頁・発行日

pp.146, 2017 (Released:2017-06-29)

---

地図を音符に見立て作曲に利用したり、街を音で表現したり、最近ではアプリで世界の観光音を聞いたりと音と地図の関係はアートやデザイン、建築また音楽の世界において時折みられる表現方法である。まずインターネットを使い地図と音の関係性を強く持つものを調査・現状把握を行い、制作のプロセスとその利用目的を分析した。本制作の目的は上記の「地図と音の関係を模索」することと、地域・風土性を生かした北千住の音を集め、北千住の新たなる「現代音楽」をどのように作曲するかである。行政作成の千住マップでは観光拠点がピックアップされており、観光拠点を音符として読み取ることにした。次に線路側を第1線とし日光街道を第5線として第1線―第5線まで線を引くとなんとなく楽譜に見えてきた。先ほど完成した楽譜を音にしてみた。音符化された観光名所は神社やお寺、銭湯、昔ながらの飲食、音符の部分に千住で収集した観光名所の音を加えてみた。たとえばお寺なら鈴の音、神社なら参拝の音、銭湯の湯の音などである。それらを複合させ「千住音散歩」の完成。

著者

星野 伸明

出版者

日本統計学会 = Japan Statistical Society

雑誌

日本統計学会誌. シリーズJ (ISSN:03895602)

巻号頁・発行日

vol.40, no.1, pp.23-45, 2010-09-01

参考文献数

72

被引用文献数

1

---

公的統計のミクロデータ利用を促進する上で大きな課題を二点挙げると,一点目は利用目的制限の緩和,二点目は利用可能な統計調査の拡大である.本稿ではこれらの課題の解決策を検討する.前者については,一般目的汎用ファイルの提供が望ましい.これを実現するには,絶対的な匿名性を持ち有用なデータの作成を目標とするべきである.後者については,事業所・企業調査など匿名化が難しいデータも提供するのが望ましい.匿名化が困難な場合について先進的事例を調査したところ,原データの統計的性質を一部保存するデータの作成が目標となっている.そのようなデータを確率的に生成するのが模造(synthesis)という概念であり,一般目的汎用ファイルの作成でも有用である.従って本稿では,模造手法も整理して紹介する.

著者

加納 悟

出版者

統計数理研究所

雑誌

統計数理 (ISSN:09126112)

巻号頁・発行日

vol.51, no.2, pp.199-222, 2003

被引用文献数

1

著者

竹本 拓真 馬場 隆 片寄 晴弘

雑誌

エンタテインメントコンピューティングシンポジウム2014論文集

巻号頁・発行日

vol.2014, pp.73-74, 2014-09-12