著者

深澤 安博

出版者

茨城大学人文学部

雑誌

人文学科論集 (ISSN:03886875)

巻号頁・発行日

no.41, pp.59-86, 2004-03

著者

富田 仁

出版者

立正女子大学短期大学部

雑誌

研究紀要

巻号頁・発行日

vol.19, pp.16-29, 1975-12

著者

増田 隆一

出版者

日本哺乳類学会

雑誌

哺乳類科学 (ISSN:0385437X)

巻号頁・発行日

vol.49, no.1, pp.157-157, 2009 (Released:2009-07-16)

著者

米田 雅宏

出版者

有斐閣

雑誌

法学教室 (ISSN:03892220)

巻号頁・発行日

no.360, pp.21-25, 2010-09

著者

杉浦 康之

出版者

野沢豊

雑誌

近きに在りて (ISSN:02855593)

巻号頁・発行日

no.56, pp.51-67, 2009-11

著者

辻 由希

出版者

京都大学法学会

雑誌

法学論叢 (ISSN:03872866)

巻号頁・発行日

vol.176, no.5, pp.348-379, 2015-03

著者

矢澤 真人

出版者

筑波大学大学院博士課程文芸・言語研究科日本語学研究室

雑誌

筑波日本語研究 (ISSN:13424793)

巻号頁・発行日

no.11, pp.1-29, 2006

出版者

日産水産研究所小田原支所

巻号頁・発行日

1943

著者

重定 如彦 越塚 登 坂村 健

出版者

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

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.42, no.6, pp.1662-1675, 2001-06-15

被引用文献数

1

---

本論文では,分散ハイパーメディアOS``Net-BTRON''におけるハイパーメディア資源管理の機構について述べる.近年,World Wide Web(WWW)を基盤とした全世界規模のハイパーメディア環境がインターネット上に構築され,情報発信システムとして大きな成功を収めている.一方,ネットワーク上の他のハイパーメディアコンテンツを参照・引用をしながら,頻繁なデータ編集による試行錯誤を繰り返して,人間の思考を支援することも,ハイパーメディアシステムの当初の用途の1つである.ところが,現在のWWWシステムをこうした用途に用いると,リンクの接続性が脆弱であるために,リンク切れやEditingProblemといった問題が頻繁に発生する.そこで我々は,頑強なリンク接続性を提供する分散型ハイパーメディア資源管理機構を持った新しいオペレーティングシステム,Net-BTRONを構築している.Net-BTRONのハイパーメディア資源管理機構は次の特徴を持つ.まず,ハイパーメディアノードやリンクをファイルシステムで実現する.Net-BTRON以外の他のハイパーメディアとの相互接続性を実現する柔軟なファイルシステム拡張機能を持つ.ハイパーメディアアプリケーションの操作性を標準化するためのツールキットを提供する.我々はNet-BTRONのパイロットシステムをBTRON3仕様OSを拡張して実装し,その上に多くの分散ハイパーメディアアプリケーションを構築することによって,これらの技術的特徴の有効性を確認した.This paper proposes, the hyper-media resource management mechanism ofdistributed hyper-media operating system ``Net-BTRON''. Recently,worldwide hyper-media environments based on the World Wide Web (WWW)have been constructed on the Internet. These systems achieved a greatsuccess as systems for information distribution. However, they areinconvenient for frequent editing purpose and can not serve as tools forthinking, which is one of the original purposes of the hyper-mediasystem, because of the weakness of the link. If we use the current WWWsystems for the purpose of tools for thinking, problems such as brokenlink or editing problem will occur frequently.In this paper, we constructed a new operating system called``Net-BTRON'' which can be used as a tool for thinking by its robustdistributed hyper-media resource management mechanism. The features ofthe Net-BTRON are as follows. First, the Net-BTRON realizes thehyper-media nodes and links by the file system. Second, the Net-BTRONprovides a flexible file system extension mechanism to integrate withthe other hyper-media systems. Third, the Net-BTRON provides a toolkitfor standardization of the user interface of hyper-media applications.We implemented the Net-BTRON pilot system by extending the BTRON3 OS,and proved the technical advantage of the Net-BTRON by implementing alot of distributed hyper-media application on it.

著者

藤田 晋吾

出版者

流通経済大学

雑誌

流通經濟大學論集 (ISSN:03850854)

巻号頁・発行日

vol.43, no.1, pp.1-17, 2008-07

著者

倉地 克直

出版者

岡山大学大学院文化科学研究科

雑誌

文化共生学研究 (ISSN:18809162)

巻号頁・発行日

no.13, pp.61-75, 2014

著者

藤本 直子

出版者

鳥取短期大学

雑誌

北東アジア文化研究 (ISSN:1341366X)

巻号頁・発行日

no.40, pp.1-22, 2015-03

著者

Yatabe S.

出版者

Oxford University Press

雑誌

Logic Journal of IGPL (ISSN:13670751)

巻号頁・発行日

vol.22, no.3, pp.482-493, 2014-06-23

被引用文献数

1

---

We show that the crispness of ω is not provable in a constructive naive set theory CONS in FLew ∀, intuitionistic predicate logic minus the contraction rule. In the proof, we construct a circularly defined object fix, a fixed point of the successor function suc, by using a fixed-point theorem.

著者

八幡 茉莉子 渡辺 明日香 Mariko Yahata Asuka Watanabe

出版者

共立女子短期大学生活科学科

雑誌

共立女子短期大学生活科学科紀要 (ISSN:09172300)

巻号頁・発行日

no.56, pp.11-31, 2013-02

---

This work bases on the assertion that the roots of Lolita fashion lay in the 1980s and explores how Lolita fashion came onto the scene as well as what sorts of changes it has undergone up until the present day. Analysis began with a visual survey using photographs of street fashion and fashion magazines such as "Olive." This work divides Lolita fashion into stages taking the early 1980s as "Lolita's FirstEra," the golden age of Lolita in the 1990s as "Lolita's Second Era," and the diversification of Lolita in the 2000s as" Lolita's Third Era," As a result, it was concluded that Romantic fashion and Lolita fashion have many traits in common and that Lolita fashion said to have sprouted in the 1980s sprang from Romantic fashion The work also concludes that the Lolita fashion of today owes its existence to the flourishing of 1990s street fashion and can be taken as a signal of the intensification of its popularity cycle after the 2000s.

著者

山鹿素行 著

出版者

[ ]

巻号頁・発行日

vol.上, 1908

著者

伊藤 修毅

出版者

日本職業リハビリテーション学会

雑誌

職業リハビリテーション (ISSN:09150870)

巻号頁・発行日

vol.25, no.1, pp.2-11, 2011-12

著者

佐藤 和代

出版者

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

雑誌

情報管理 (ISSN:00217298)

巻号頁・発行日

vol.58, no.7, pp.556-559, 2015-10-01 (Released:2015-10-01)

参考文献数

3

著者

本郷 次雄

出版者

日本きのこセンター菌蕈研究所

雑誌

財団法人日本きのこセンター菌蕈研究所研究報告 = Reports of the Tottori Mycological Institute (ISSN:03888266)

巻号頁・発行日

no.36, pp.13-15, 1998-12 (Released:2011-03-05)

著者

榊原 康文 伊藤 詩乃 田中 佑岳 佐藤 健吾 洪 繁 狩野 芳伸 Yasubumi Sakakibara Shino Ito Yugaku Tanaka Kengo Sato Shigeru Ko Yoshinobu Kano

雑誌

SIG-AIMED = SIG-AIMED

巻号頁・発行日

vol.001, 2015-09-29

---

Toward a final goal to construct a medical diagnostic support system, as its pilot study, we attempt to build a question-answering program that automatically answers the medical licensing examination.

著者

添谷 育志

出版者

明治学院大学法律科学研究所

雑誌

明治学院大学法律科学研究所年報 (ISSN:21852278)

巻号頁・発行日

no.31, pp.3-15, 2015

---

定例研究会