著者

萩野達也 Tatsuya Hagino 京都大学大型計算機センター

雑誌

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

巻号頁・発行日

vol.7, no.1, pp.16-32,

被引用文献数

2

---

カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.

著者

原田 康徳 渡辺 慎哉 宮本 衛市

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.9, no.3, pp.214-227, 1992-05-15

被引用文献数

1

著者

井田 哲雄 稲垣 康善 上田 和紀 米澤 明憲 筧 捷彦

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.6, no.3, pp.296-307, 1989-07-14

著者

辻田 眸 塚田 浩二 椎尾 一郎 Hitomi Tsujita Koji Tsukada Itiro Siio お茶の水女子大学大学院人間文化創成科学研究科 お茶の水女子大学アカデミックプロダクション お茶の水女子大学大学院人間文化創成科学研究科 Graduate School of Humanities and Sciences Ochanomizu University Academic Production Ochanomizu University Graduate School of Humanities and Sciences Ochanomizu University

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.1, pp.25-37, 2009-01-27

参考文献数

17

被引用文献数

5

---

携帯電話やメールなどさまざまな通信手段が普及したにもかかわらず,いまなお遠距離恋愛で悩んでいる人たちは多い.遠距離恋愛中のカップルは,個人差はあるにせよ,相手とつながり感を保ちたいという強いモチベーションをお互いに持っていると考えられる.こうした状況では,従来のアウェアネス共有システムのように弱いつながり感を共有するだけでなく,両者の生活空間での行為自体が相互に影響を与えあうような,比較的強いつながり感を提供する,いわば仮想的に同居しているような感覚を与えるシステムが有効になるのではないかと考えた.そこで,本研究では,プライバシーが守られる形で,遠隔地に設置されたランプ/ゴミ箱などの日用品の状態を相互に同期させることで,こうした仮想的な同居感覚を提供するシステム"SyncDecor"を提案,試作する.そして遠距離恋愛カップル間での遠隔実験の結果を示し,今後の展望を述べる.Despite the fact that various means of communication such as mobile phones, instant messenger and e-mail are now widespread; many romantic couples separated by long distances worry about the health of their relationships. Likewise, these couples have a greater desire to feel a sense of connection, synchronization or "oneness" with their partners than traditional inter-family bonds. This paper concentrates on the use of common, day-to-day items and modifying them to communicate everyday actions while maintaining a sustained and natural usage pattern for strongly paired romantic couples. For this purpose, we propose the "SyncDecor" system, which pairs traditional appliances and allow them to remotely synchronize and provide awareness or cognizance about their partners - thereby creating a virtual "living together" feeling. We present evidence, from a 3-month long field study, where traditional appliances provided a significantly more natural, varied and sustained usage patterns which ultimately enhanced communications between the couples.

著者

暦本 純一

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.13, no.3, pp.196-210, 1996-05-15

被引用文献数

24

---

本稿では,ヒューマンインタフェース研究の新しい流れとして注目される,人間の実世界における活動を支援するインタフェース(実世界指向インタフェース)について解説する.まず1節で,実世界指向インタフェースの特徴を解説し,従来型のヒューマンインタフェースとの違いを明らかにする.2節では,現在までに研究開発されているシステムのサーベイを行なう.3節では,実世界指向インタフェースを構成するために必要な要素技術について解説し,最後に4節で,今後の研究課題について議論する.

著者

大和田 茂

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.23, no.4, pp.47-50, 2006-10-26

被引用文献数

3

---

我々は,形状をゼリーの内部にプリントするゼリープリンターを提案する.このプリンターでは,出力形状が柔らかいゼリーであるために,加工が非常に容易であることが大きな利点としてあげられる.これにより,コンピュータの内部の情報を実世界に取り出し,変形したり加工したり食用にすることが可能となる.さらに,三次元の標高データを出力することもできるので,自由に切ってその断面をみることも可能である.

著者

大岩 元

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.5, no.3, pp.218-227, 1988-07-15

---

ソフトウェアの生産性が問題となっているが,必ず実効の上がる改善策としてキーボード教育がある.まず英文タイプのブラインド技術はわずか2〜3時間の初期訓練によって獲得できるものであることを示し,続いてタイピング作業の認知モデルを,タイピングCAIプログラムと関連させて述べる.ソフトウェア作成には文書化作業が大きな比重をしめるが,この作業効率を上げるには,下書きせずに技術者が直接ワークステーションで文書作成を実行することが望ましい.これには日本語入力の方法とそれをどのように教育するかが問題となる.そこでまず日本語入力の基本となる,各種カナ入力法について論評を加える.さらに漢字の直接入力法について論じた後,入力法の評価に関する研究をいくつか紹介し,それが非常に困難な問題であることを示す.最後にキーボードと計算機本体の接続を標準化すべきことを指摘する.

著者

龍田 真

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.8, no.4, pp.360-372, 1991-07-15

被引用文献数

2

著者

桜川貴司 Takashi Sakuragawa 京都大学数理解析研究所

雑誌

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

巻号頁・発行日

vol.4, no.3, pp.15-27, 1987

被引用文献数

1

---

Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.

著者

島内 剛一

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.1, no.2, pp.183-188, 1984-07-13

著者

龍田 真

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.8, no.3, pp.210-216, 1991-05-15

著者

小林 由佳 石若 裕子

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.1, pp.82-88, 2008-01-25

被引用文献数

1

著者

上田 和紀

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.3, pp.49-54, 2008-07-25

被引用文献数

1

著者

五十嵐 悠紀 五十嵐 健夫 鈴木 宏正

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.1, pp.51-58, 2009-01-27

被引用文献数

1

---

"あみぐるみ"は毛糸を使って作るぬいぐるみであるが,毛糸の編み方によって形状をデザインしていくため,初心者にはデザインすることが困難である.我々は3次元モデリングプロセスにインタラクティブな物理シミュレーションを組み合わせることであみぐるみを効率的にデザインできるモデラーを作成した.本システムは自動で編み目を計算してあみぐるみモデルをシミュレーション結果として提示するため,初心者にでも直感的にデザインでき,編み図も容易に得ることができる.また,初めてあみぐるみに挑戦する初心者でも製作手順を容易に理解できるようにするために,製作手順を視覚的に提示する製作支援インタフェースも備えた.あみぐるみ初心者でも容易にオリジナルなあみぐるみを作成できることを確認したので報告する.

著者

久野 靖 大木 敦雄 角田 博保 粕川 正充 Yasushi Kuno Atsuo Ohki Hiroyasu Kakuda Masaatsu Kasukawa 筑波大学大学院経営システム科学専攻 筑波大学大学院経営システム科学専攻 電気通信大学情報工学科 お茶の水女子大学情報科学科 Graduate School of Systems Management The University of Tsukuba Tokyo Graduate School of Systems Management The University of Tsukuba Tokyo Department of Computer Science University of Electro-Communications Department of Information Science Ochanomizu University

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.13, no.3, pp.230-240, 1996-05-15

参考文献数

6

被引用文献数

4

---

図的ユーザインタフェースの一種として,アイコンで様々な対象を表現し操作するWIMP[1]インタフェースがある.WIMPインタフェースでアイコンに対する操作を指示するやり方(操作選択方式)としてメニュー,ドラグ&ドロップ,キー操作などがあるが,これらの間には,操作時間が短いものは柔軟性や分かりやすさに欠け,柔軟で分かりやすいものは操作時間が長いというトレードオフがある.筆者らはドラグ&ドロップの改良版として「アイコン投げ」(ドラグの途中でマウスボタンを離してもアイコンがこれまでの速度と方向で目的地に向かって移動し続ける方式)に注目し,その操作時間について実験と検討を行った.実験の結果,「アイコン投げ」インタフェースはメニュー,パレット,ドラグ&ドロップなどのマウスによる選択方法より有意に高速であり,誤り率も他の方法と比べて遜色ないため,図的インタフェースの基本操作として有望である.

著者

倉田 昌典 菅沼 明 牛島 和夫

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.6, no.4, pp.373-385, 1989-10-16

被引用文献数

6

---

日本語文章推敲支援ツール『推敲』は,日本語文章ファイルを解析して,推敲に役立つ情報を書き手に提供することを目的としたツールである.われわれは,まずこれを,大型計算機上に開発した.しかし,大型機には使用上の制約があったり,ユーザーインタフェースが十分でなかったりして,文章作成のような個人的な仕事を大型機上で行うのは快適ではない.そこで,『推敲』の機能の強化やユーザーインタフェース向上,そして利用者層の拡大を期して,これをパソコン上で実現した. 『推敲』では,日本語文章の解析に文法解析や辞書を用いず,字面解析を行うことによって,素早い処理を可能にしている.文法解析をしないでも,推敲に役立つ情報をかなり抽出することができる.パソコン版『推敲』は,処理速度の速さと,ユーザーインタフェース設計の自由度が大型機と比べて大きいことも相まって,実用的なツールとなっている.また,『推敲』のコマンドを構成しているプリミティブな処理単位を,基本コマンドとしてユーザーに開放し,ユーザーがそれらを組み合わせることによって,多様な処理を行えるようにしている.

著者

上村 務 構内 寛文 吉田 幹 大平 剛 Lucassen John M.

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.6, no.1, pp.4-16, 1989-01-13

---

COB (C with OBject)は著者らが開発しているオブジェクト指向言語である.COBの主眼点は,オブジェクト指向を基本にして,それに近年のプログラミング言語技術で有効性が実証されている主要な手法を結合することにより,プログラム,およびその開発プロセスの質的向上をねらった汎用言語を提供することにある. 本論文では,現在実現されているCOBのオブジェクト指向について説明する.まずCOBの設計方針について述べ,以下,クラス,多重継承,型,そしてクラスのビューについてその基本的な内容を説明する.最後に現時点でのCOBの使用経験について述べる.

著者

長谷川 立 Ryu Hasegawa 東京大学大学院数理科学研究所 Graduate School of Mathematics The University of Tokyo.

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.20, no.2, pp.59-78, 2003-03-24

参考文献数

113

著者

住井 英二郎

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.2, pp.28-38, 2008-04-24

被引用文献数

1

---

約2000行のMLコードにより実装された,教育目的のコンパイラMinCamlについて議論する.対象言語は値呼び,非純粋,暗な単相型を持つ高階関数型言語である.レイトレーシングを含むいくつかのアプリケーション・プログラムに対し,実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた.

著者

島崎 眞昭

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.2, no.3, pp.484-508, 1985-07-15

被引用文献数

1