著者

松嶋 慎太郎 森井 マスミ 吉岡 卓 紅野 謙介 谷 聖一

出版者

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

雑誌

情報処理学会研究報告人文科学とコンピュータ(CH) (ISSN:09196072)

巻号頁・発行日

vol.2008, no.8, pp.1-8, 2008-01-25

---

データベース化された作品や関連資料と地理情報とを関連付けることで,作品を取り巻く諸々の時間と空間を越えた重層的理解を補助できる可能性がある.Google Maps APIを利用して,喜多村緑郎日記データベースを活用するツールを試作した.このツールは,日記に記されたテキスト文章をGoogle Maps上に表示することで体感的にも視覚的にも効果的なインタフェイスを備えており,個人の過去の日記を現在の地図上に表示する事で,時空間を横断できる情報処理を期待できる.また,Google Maps上の一部分に着目させたり,アイコンを表示させたりするための技術を組み込むことで,デジタルアーカイブ作成の煩雑さを解消させる効果が期待される.Ajax is a new technology based on asynchronous communication between a client web browser and a back-end server, allowing web applications to request data without web application to request and receive data ever reloading the page. Google Maps is a popular application that uses Ajax. We designed and implemented the Ajax web application which supports to discover and analyze spatiotemporal structure of a sequence of sentences. As the target of this analysis, we consider Kitamura Rokuro Diary. His diary is a typical example that prescribes the spatiotemporal relations of affairs. Our system includes visually-enhanced interface control module; general user can visually check the data of the geophysical makeup of descriptions of Kitamura Rokuro Diary. And also, we show our system have many advantages to make a digital library.

著者

吉岡 卓 塚本 雅裕 中野 人志 吉田 実 高橋 雅也 藤田 雅之 阿部 信行

出版者

一般社団法人 溶接学会

雑誌

溶接学会全国大会講演概要 平成20年度春季全国大会

巻号頁・発行日

pp.63, 2008 (Released:2008-04-18)

---

エアロゾルビームプロセッシングにより酸化チタン皮膜を形成し、皮膜表面に高強度短パルスレーザを照射した。照射部を観察した結果、アブレーションせずに形態が変化している事が分かった。続いて、照射部にCWレーザを照射した。その結果、更に形態を変化させる事に成功した。

著者

吉岡 卓 東条 敏

出版者

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

雑誌

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

巻号頁・発行日

vol.21, no.3, pp.257-265, 2006 (Released:2006-03-09)

参考文献数

31

被引用文献数

1

---

Linear tense logics are widely accepted for structural temporal representation, where the basic KT has two modal operators G and H, each of which represents the future and the past, respectively. On the other hand, the temporal interval relations arranged by Allen have long been the standard of natural language semantics, though it still lacks the modal-logical foundation. Van Benthem proposed ∉up and ∉down in regard to the accessibility to overlapping intervals and subintervals, respectively; however, the logical feature of the modality has not well studied. In this study, we propose a many-dimensional logic including the conventional tense logic, together with such interval accessibility. And, we show that our logic provide a formal apparatus for a precise aspectual classification. Lastly, we introduce the sequent system for our logic. We show the subformula property holds in our system, and thus would be able to show the decidability.