著者

山崎 俊太郎 持丸 正明 金出 武雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.4, pp.4_126-4_136, 2011-10-25 (Released:2011-11-30)

---

画像ベースレンダリング法を用いて,Webブラウザ上で自由視点画像を合成するシステムを提案する.本システムは,クラウド環境で動作する光線空間モデリングと,Webブラウザ上で動作する自由視点画像レンダリングのソフトウェアで構成される.モデリングには,画像特徴を利用したStructure from Motion法を用い,未校正の画像集合から,自動で光線空間を復元する.レンダリングには,透視変換の近似アルゴリズムを用い,Webブラウザ上で対話的な速度で画像を合成する.我々の手法は,3次元の形状モデルを必要とする既存のWeb3D技術に対して,(1)表示対象の形状モデル復元が不要,(2)合成画像が写実的,(3)標準的な計算機環境で利用可能,という利点がある.作成したモデルは,標準的なHTMLの形式で配布可能であり,単独のコンテンツとして閲覧するほか,既存のWebサイトへ埋め込んで利用できる.これにより,今まで静止画を利用していた様々なWebアプリケーションに,対話的な3Dグラフィクスの機能を追加できる.

著者

神原 啓介 塚田 浩二

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.2, pp.2_172-2_182, 2011-04-26 (Released:2011-05-26)

---

ブログやSNS,ソーシャルブックマークなどのソーシャルウェブサイトの利用が進み,Web上で人とつながりを持ちコミュニケーションをすることが増えた.Web上での人とのつながりやコミュニケーションが増えると,優先的に見たい人の発言が他の人の発言に埋もれてしまう問題や,複数のウェブサイトに発言が分散してしまう問題,タイムラインのようなリストでは特定の人物を見つけにくいといった問題が起こる.そこで本研究では複数のソーシャルウェブサイトを横断しながら,優先的に見たい人がタイムラインに埋もれてしまうことなく,特定の人物を一目で見つけることのできるインタフェース「ソーシャル顔アイコン」を提案・試作した.ソーシャルウェブサイトの中にいる人をアイコンとしてデスクトップに置くことで人に対してより直接的にアクセスできるインタフェースを備えており,使い慣れたアイコンと同じように操作できる点や,発言の新鮮度や発言頻度といった時間軸情報を視覚的に分かりやすく表示する点が特徴である.

著者

上間 裕二 古川 正紘 常盤 拓司 杉本 麻樹 稲見 昌彦

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.2, pp.2_153-2_161, 2011-04-26 (Released:2011-05-26)

---

猫やチンパンジーなどはコミュニケーション方法の1つとして,毛を逆立てて威嚇行動をとることが知られている.この毛を逆立てるという行動は,動物ならではのコミュニケーションの中でも,人に対してわかり易い表現手法といえる.つまり同手法を工学的に再現することで,毛皮がもつ視覚的な審美性を損なうことなく,毛を逆立てるという機能をもちながらも,身につけたり撫でたりすることが可能な出力インタフェースの実現が期待できる.そこで本稿では,本表現手法をユーザインタフェースへ適用するための技術要素として,簡便な機構で実装可能な毛並み制御手法の提案を目的とする.実験の結果,毛皮に対して振動を印加することで瞬時に毛を逆立てることが可能であることが確認された.また,ユーザスタディにより毛を逆立てることが人に対して驚きを与えたことから,十分な視覚的変化を実現できたことが確認された.以上のことから,本提案手法は動物的な表現手法の工学的な実装として有効であり,動物的な表現を用いた出力インタフェースへと応用可能であることが示された.

著者

中島 震

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.2_2-2_7, 2007 (Released:2007-06-30)

著者

高野 明彦

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.27, no.1, pp.1_74, 2010-01-26 (Released:2010-03-26)

著者

Nicolas MARTI Reynald AFFELDT

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.3, pp.3_135-3_147, 2008-07-25 (Released:2008-09-07)

---

Separation logic is an extension of Hoare logic to verify imperative programs with pointers and mutable data-structures. Although there exist several implementations of verifiers for separation logic, none of them has actually been itself verified. In this paper, we present a verifier for a fragment of separation logic that is verified inside the Coq proof assistant. This verifier is implemented as a Coq tactic by reflection to verify separation logic triples. Thanks to the extraction facility to OCaml, we can also derive a certified, stand-alone and efficient verifier for separation logic.

著者

上田 和紀 細部 博史 石井 大輔

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.1, pp.1_306-1_311, 2011-01-25 (Released:2011-02-18)

---

時間の経過に伴って状態が連続変化したり,状態や方程式系自体が離散変化したりする系をハイブリッドシステムと呼ぶ.我々は,不確実値の扱い,シミュレーションと検証の統合などの観点から,制約概念に基づくハイブリッドシステムモデリング言語HydLaの設計と実装を進めてきた.HydLaは,制約階層概念の採用によって制約条件を過不足なく与えることを容易にした点を特徴とするが,種々の言語機能の相互作用のためにその意味論の定式化は自明ではない.本論文では,HydLaの宣言的意味論を定式化して考察を加えるとともに,宣言的意味論から導かれる性質や帰結を具体例を用いつつ論じる.

著者

鈴木 貢 藤波 順久

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.1, pp.1_65-1_81, 2008 (Released:2008-03-31)

---

最近公表されるマイクロプロセッサの殆どが具備するようになったメディア処理向けSIMD拡張命令セットは,ベクタ命令セットの特別な場合と考えられるが,従来のベクタ命令にはない特徴や制約があり,そのための最適化技術をそのまま流用するだけでは潜在能力を引き出すことができない.COINSプロジェクトではSIMD拡張命令セット向け最適化を,ベクタ化を軸としたソースコードレベルで可能な最適化と,そのような変換を施されたプログラムに対して適切なSIMD命令を生成する最適化の2段階に分割し,我々が「SIMD並列化」と呼ぶ後者を中心に研究を行った.本稿では,COINSにおけるSIMD並列化について報告する.

著者

佐藤 一郎

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.17, no.2, pp.153-162, 2000 (Released:2000-12-26)

参考文献数

14

著者

松井 俊浩

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.23, no.2, pp.2_62-2_71, 2006 (Released:2006-06-30)

---

3次元の幾何モデルを記述し,その上でロボットの環境認識機能や知的行動計画プログラムを記述するための言語,EusLispの概念と実装について論ずる.ロボットの知的機能の実現にはオブジェクト指向が最適であるとの考えに立ち,言語の基本機能としてオブジェクト指向を実装し,その上にCommon Lispと同様な関数プログラミング機能を実現する.オブジェクト指向とLispの関数を融合するために,階層的なクラス継承木の中で定数時間で型判別を行える仕組みを導入している.不定長のオブジェクト管理のメモリ効率を向上させるため,フィボナッチバディによるメモリ管理を行う.非同期,並列プログラミングのために導入したマルチスレッド機能とスレッドごとに分割したメモリ管理機構の評価を行う.これらによって効率よく実現された幾何モデラーと,ロボット向きのEusLispの応用を2例示す.

著者

村田 真

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.3, pp.3_86, 2009-07-28 (Released:2009-10-05)

著者

坂本 大介 小野 哲雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.23, no.2, pp.2_101-2_107, 2006 (Released:2006-06-30)

---

本稿では環境に埋め込まれた対話可能な絵画を生成するソフトウェアについて述べる.本ソフトウェアが生成する絵は環境センサの情報をもとに常に変化する.また,絵に直接触ることで絵に対して変化を与えることができる.これらの絵はモチーフというプラグインで管理され,ユーザの意思で変更することが可能である.本ソフトウェアが出力する絵はコンピュータ上のディスプレイではなく,コンピュータという存在を消したディスプレイから出力することを想定している.これにより我々が生活している空間に含まれる情報を,生活の一部として絵画を飾ることと同じように「情報を飾る」という概念を提案する.また,本稿では空間を一枚の絵画が支配し表現する,環境に埋め込まれたソフトウェアの可能性について考察する.

著者

渋沢 潮 林 貴宏 尾内 理紀夫

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.3, pp.3_20-3_28, 2007 (Released:2007-09-30)

---

質問応答技術の分野において,Who,When,Where,What型の質問に対する回答をWebから自動抽出する研究はさかんに行われている.しかし,Why,How型の質問を対象にした研究や実用的なシステムはほとんどない.Why型の質問の回答は,単語ではなく文であることが多いため,その抽出に従来の手法を適用することは難しい.そこで本論文では,Why型質問を表す文と,その回答を表す文の,文章内における位置関係に着目し,Why型質問の回答をWebページから自動抽出する手法を提案し,試作システムRE:Whyを実装した.本システムにおいて20問の質問を用い,精度と再現率を求める実験を行った.実験結果に基づき,従来の検索エンジンに対する本システムの有効性を考察した.