Details of a Researcher - Hattori, Takashi

Papers - Hattori, Takashi

Division display >> ／ All the affair displays 1 - 57 of about 57

トピックモデルを用いた自由記述アンケートの要約

大田祐輔, 服部隆志, 萩野達也

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 (電子情報通信学会) 115 ( 347 ) 87 - 91 2015.12

Research paper (conference, symposium, etc.), Joint Work, ISSN 0913-5685

企業や教育機関など様々な場面で自由記述式アンケートが実施されている.最近では,インターネットを通じたアンケートも多く実施されている.自由記述式アンケートは,選択式アンケートに比べて,回答者から具体的な意見を得られるが,分析者に多大な手間や負担がかかる.本研究では,自由記述式アンケートを自動的に要約することを目的とし,アンケート全体をシステムが選択したいくつかの意見で代表するための手法を提案する.

変数名を用いないプログラミングの試み

服部隆志

第55回プログラミング・シンポジウム予稿集 2014.01

Research paper (conference, symposium, etc.), Single Work

リアルタイムで共同作曲ができるWebアプリの開発

藤澤伸, 服部隆志

情報処理学会第74回全国大会講演論文集 (情報処理学会) 2012.03

Research paper (conference, symposium, etc.), Joint Work

集合知を用いた献立提案システム

井出歩, 大友崇弘, 藤澤伸, 服部隆志

情報処理学会第74回全国大会講演論文集 (情報処理学会) 2012.03

Research paper (conference, symposium, etc.), Joint Work

Wikigramming: a wiki-based training environment for programming

Takashi Hattori

Proceeding of the 2nd international workshop on Web 2.0 for software engineering (ACM) 7-12 2011.05

Research paper (conference, symposium, etc.), Single Work, Accepted

Wiki is one of the most successful technologies in Web 2.0 because it is so simple that anyone can start using it instantly. The main aim of this research is to realize a collaborative programming environment that is as simple as Wiki. Each Wiki page contains source code of a Scheme function which is executed on the server. Users can edit any function at any time without complicated procedure, and see the results of their changes instantly. In order to avoid intentional or unintentional destruction of working programs, when users attempt to modify existing functions, the modified version must pass unit tests written by other users. Though changes are made anonymously, we can have some confidence if test cases are written by many users.

オンライン教材に対する手書きワークシートとフィードバックの効果

中村太戯留, 服部隆志,田丸恵理子, 上林憲行

日本認知科学会第27回大会 (日本認知科学会) 692-693 2010.09

Research paper (conference, symposium, etc.), Joint Work

デジタルアーカイブにおける時空間情報の提示手法

関戸亮介, 服部隆志, 萩野達也, 遠山緑生

情報処理学会第71回全国大会 (情報処理学会) 71 ( 1 ) 1.661-1.662 2009.03

Research paper (conference, symposium, etc.), Joint Work

経路探索アルゴリズムを利用した集合場所探索アルゴリズム

永井敏裕, 萩野達也, 服部隆志, 清水智公

情報処理学会第71回全国大会 (情報処理学会) 71 ( 1 ) 1.419-1.420 2009.03

Research paper (conference, symposium, etc.), Joint Work

初心者教育に適したサンプルプログラムの書き方

服部隆志

夏のプログラミング・シンポジウム「ソフトウェアの品格〜たとえば鑑賞に耐えるプログラムを目指して〜」報告集 (情報処理学会) 71-74 2009.01

Research paper (conference, symposium, etc.), Single Work

サンプルプログラムは、実行することが目的ではなく、読んで理解することが目的のプログラムである。したがって何を理解させたいかによって書き方を変えるべきである。特に初心者教育の場合は、熟練者であれば当然の発想や類推が期待できないので、一般的に言われている良いプログラムの条件を満たすことが、必ずしも初心者に理解しやすいプログラムであることを意味しない。ここでは授業での経験からそのような例をいくつか挙げる。例えば、一般的には変数名は意味を表す名前の方がよいと言われているが、初心者は変数名の意味に引きずられて誤った思いこみをすることがあるので、無意味な名前の方が良い場合もある。

内部データの視覚化によるプログラミング支援ツール

黒河優介, 三浦悠太, 藤枝崇史, 服部隆志, 萩野達也, 清水智公

情報処理学会全国大会講演論文集 (情報処理学会) 70 ( 1 ) 1.307-1.308 2008.03

Research paper (conference, symposium, etc.), Joint Work

集中制御可能な分散型トレーディングシステム

フクリン, 服部隆志, 萩野達也

情報処理学会全国大会講演論文集 (情報処理学会) 70 ( 3 ) 3.139-3.140 2008.03

Research paper (conference, symposium, etc.), Joint Work

Webを用いた参加型プレゼンテーション

黒河優介, 藤枝崇史, 福本佳史, 関戸亮介, 服部隆志, 萩野達也

情報処理学会全国大会講演論文集 (情報処理学会) 70 ( 4 ) 4.371-4.372 2008.03

Research paper (conference, symposium, etc.), Joint Work

Wikipedia型のプログラミング環境へ向けて

HATTORI TAKASHI

夏のプログラミング・シンポジウム「First Programming Languages プログラミング言語の実力と美学」報告集 (情報処理学会) 61-64 2008.01

Research paper (conference, symposium, etc.), Single Work

オープンソースソフトウェアの特徴の一つは、多数の参加者の協同作業によるバ
ザール型の開発が行われることである。しかし、同じように多数の参加者により
作られている Wikipedia と比較すると、参加の形態に違いがある。そこで、
Wikipedia のように誰でも自由に編集できるプログラミング環境が実現できない
かを考えてみる。不用意に一貫性を壊されないようにするため、関数の呼び出し
側でその関数に対する仕様を書き、関数の定義を編集しようとする場合には、呼
び出し側で書かれた仕様をすべて満たさない限り編集結果を保存できないことに
する。仕様の検証の方法としてはユニットテストが適当であると思われる。また、
関数定義を編集しようとする人が呼び出し側の仕様も書き換えてしまうことが考
えられるが、どこから呼び出されているかを検索できなくすることである程度は
防げる。

Sencha:人間関係を用いて発言を修飾するチャットシステム

加藤貴之, 関戸亮介, 服部隆志

情報処理学会シンポジウム論文集 (情報処理学会) 2007 ( 11 ) 1-6 2007.11

Research paper (conference, symposium, etc.), Joint Work

写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案

加藤貴之, 中西泰人, 服部隆志, 萩野達也

電子情報通信学会技術研究報告 (電子情報通信学会) 107 ( 152(USN2007 22-35) ) 53-58 2007.07

Research paper (conference, symposium, etc.), Joint Work, ISSN 0913-5685

ViPPER-ロボットを使用した初等教育向けビジュアルプログラミング-

HATTORI TAKASHI

情報処理学会研究報告 (情報処理学会) 2007 ( 12(CE-88) ) 91-96 2007.02

Research paper (scientific journal), Joint Work, ISSN 0919-6072

ViPPER --ロボットを使用した初等教育向けビジュアルプログラミング--

瀬古俊一, 山岸真弓, 服部隆志, 萩野達也

夏のプログラミングシンポジウム「夢をかけるプログラミング〜世代を超えて／夢の再発見〜」 (情報処理学会) 61-66 2007.01

Research paper (conference, symposium, etc.), Single Work

実演によるメタプログラミング

HATTORI TAKASHI

夏のプログラミングシンポジウム「夢をかけるプログラミング〜世代を超えて／夢の再発見〜」 (情報処理学会) 17-22 2007.01

Research paper (conference, symposium, etc.), Single Work

A brief idea of a programming-by-demonstration system is presented, where we start from simple concrete examples, gradually enhancing them to complex algorithm, in order to gain good scalability. Instead of using complete event sequences, we will use sub-sequences which consist of events selected by certain criterion. Such sub-sequences are generalized to program fragments, which will be merged into a single program. The given event sequences must be most typical demonstration with no conditional branch. Conditional branches are added to the synthesized program by transformation. These synthesis and transformation are described as a metaprogram, which will be helpful when debugging.

携帯電話の測位機能を用いた有意位置の学習

NORIO TOYAMA, TAKASHI HATTORI, TATSUYA HAGINO

情報処理学会論文誌 (情報処理学会) 46 ( 12 ) 2915-2924 2005.12

Research paper (scientific journal), Joint Work, Accepted

Location information is important to construct context-aware applications. A significant location is a specialized form of location context for expressing a user's daily activity. We propose a method to learn significant locations from positions measured by cellular phones. Cellular phones we used are equipped with a positioning system, where data can be taken in low frequency with wide-varying estimated errors. In order to learn significant locations, our system uses a clustreing method which exploits multiple radii for coping with these characteristics and for adapting to a variety of users' spatial behavioral patterns. We also discuss characteristics and appropriate parameters for our method.

Exploiting Multiple Radii to Learn Significant Locations

Norio Toyama, Takashi Ota, Fumihiro Kato, Youichi Toyota, Takashi Hattori, Tatsuya Hagino

Location- and Context-Awareness: First International Workshop, LoCA 2005 (German Aerospace Center) 157-168 2005.05

Research paper (conference, symposium, etc.), Joint Work, Accepted

Location contexts are important for many context-aware applications. A significant location is a specialized form of location context for expressing a users daily activity. We propose a method to cluster positions measured by cellular phones into significant locations with multiple radii. Cellular phones we used are equipped with a positioning system, where data can be taken in low frequency with wide-varying estimated errors. In order to learn significant locations, our system exploits multiple radii for coping with these characteristics and for adapting to a variety of usersspatial behavioral patterns. We also discuss appropriate parameters for our clustering method.

かな漢字変換と類似の操作による正規表現作成支援

服部隆志

夏のプログラミング・シンポジウム「アッと驚くプログラミング」報告集 (情報処理学会) 55-58 2005.01

Research paper (conference, symposium, etc.), Single Work

かな漢字変換メタファを用いた正規表現作成支援

服部隆志

第12回インタラクティブシステムとソフトウェアに関するワークショップ (日本ソフトウェア科学会インタラクティブシステムとソフトウェア研究会) 35-39 2004.12

Research paper (conference, symposium, etc.), Single Work, Accepted, ISSN 1341-870X

Kana-kanji conversion system is widely used in Japan. It is convenient for users that other systems use a metaphor of kana-kanji conversion in order to ease the learning cost.
Regular expression generation tool is implemented to show usefulness of the metaphor. First, the user gives a sample sentence, from which the tool generates a candidate of regular expression. The candidate is a concatenation of frequently used expressions stored in the dictionary. Next, the user modifies the candidate, where operations are very similar to those of egg, a kana-kanji conversion interface for emacs.
The metaphor of kana-kanji conversion is limited to dealing with sequential concatenation of expressions in the dictionary. To generate hierarchical structure, cascading multiple layers is proposed. Each layer generates a sequential structure with the metaphor, and the result sequence is sent to the upper layer as an input string. In upper layers, the dictionaries consist of rewriting rule for generating complex structures.

コンテクスト情報と操作履歴の関連付けによる操作予測システムの提案

HATTORI TAKASHI

情報処理学会研究報告 (情報処理学会) 2004 ( 112 ) 83-90 2004.11

Research paper (scientific journal), Joint Work, ISSN 09196072

次世代サイバースペースインフラとガバナンスの研究携帯端末上でのあい昧なコンテクストに基づく例示プログラミング

加藤文彦, 遠山緑生, 服部隆志, 萩野達也

次世代サイバースペースの研究平成15年度ハイテク・リサーチ・センター研究報告書 125-132 2004.08

Research paper (conference, symposium, etc.), Joint Work

次世代サイバースペースインフラとガバナンスの研究携帯端末向けWeb閲覧手法

久野友也, 服部隆志

次世代サイバースペースの研究平成15年度ハイテク・リサーチ・センター研究報告書 133-134 2004.08

Research paper (conference, symposium, etc.), Joint Work

コンパイル時に織り込み位置を決定する動的アスペクト指向プログラミング

豊田陽一、服部隆志、萩野達也

情報処理学会研究報告 (情報処理学会システムソフトウェアとオペレーティング・システム研究会) 2004 ( 63(OS-96) ) 73-80 2004.06

Research paper (conference, symposium, etc.), Joint Work

キーワードで見るプログラミング言語Java

服部隆志

JAVA PRESS (技術評論社) ( 36 ) 52-57 2004.06

Research paper (scientific journal), Single Work

携帯端末向けWeb閲覧手法

久野友也，服部隆志

情報処理学会全国大会講演論文集 (情報処理学会) 66 ( 4 ) 4.249-4.250 2004.03

Research paper (conference, symposium, etc.), Joint Work

Programming Constraints by Demonstration

Takashi Hattori

Journal of Visual Languages and Computing (Elsevier) 14 ( 1 ) 79-96 2003.02

Research paper (scientific journal), Single Work, Accepted

The executable constraint is proposed to offer designers a way to define a new set of constraints on top of an editing tool. It aims mainly to maintain the integrity of data structures such as diagrams that users create, during an edit session. When a part of the structure is modified by a user, the computer modifies other parts as a consequence of the user's instructions given in advance. Executable constraints are sequences of editing operations whose fixed points give relations to be maintained. They are constructed from primitive editing operations by demonstration to avoid textual form of expression, so that non-programmers can define new relations. Priority and condition are introduced to cope with over-constrained or conditional situations.

Quality Java Programming

服部隆志

JAVA PRESS (技術評論社) ( 25 ) 170-175 2002.08

Research paper (scientific journal), Single Work

個人の知識に応じた教材の自動構成システムの実現

清水智公、中村純一、吉田尚史、服部隆志、萩野達也

情報処理学会研究報告 (情報処理学会コンピュータと教育研究会) 2002 ( 62(CE-65) ) 41-48 2002.07

Research paper (conference, symposium, etc.), Joint Work, ISSN 09196072

IT革命雑感

服部隆志

三田評論 (慶應義塾) ( 1035 ) 63 2001.05

Research paper (other academic), Single Work

Javaの歩き方

服部隆志

JAVA PRESS (技術評論社) ( 17 ) 148-154 2001.04

Research paper (scientific journal), Single Work

Programming by Demonstration における操作列の分割

服部隆志

インタラクティブシステムとソフトウェアVIII (近代科学社) 217-218 2000.12

Research paper (conference, symposium, etc.), Single Work

An operation sequence is the basic structure used in the programming by demonstration. It does not, however, provide any sophisticated abstraction mechanism that is necessary to maintain large-scale programs. This paper proposes the use of divided operation sequences instead of the single one. By using multiple sequences, programmers can focus on one of the sequences, that consists of only interested events. Divided operation sequences may be useful for describing and debugging complicated programs.

Programming Constraint System by Demonstration

Takashi Hattori

International Conference on Intelligent User Interface 1999 (ACM) 202 1999.01

Research paper (conference, symposium, etc.), Single Work

多面分類法とＵＭＬを用いたオブジェクト群検索システム

HATTORI TAKASHI

情報処理学会全国大会講演論文集 59 ( 1 ) 255-256 1999

Research paper (scientific journal), Joint Work

多面分類法とUMLを用いた、オブジェクト指向を用いて作成されたソフトウェアの再利用時における、再利用ソフトウェアライブラリからの検索方式について提案する。特にオブジェクト間のデザインパターンのような関係を多面分類を用いて分類し、的確に再利用可能なソフトウェアを検索する。これを用いる事でオブジェクト指向を用いて作成されたソフトウェアの再利用において、オブジェクト間のパターン的な関係を検索出来るという点で検索が効果的に行なえるようになる。

Ｌｉｔｅｓにおける並列分散処理機能の設計

HATTORI TAKASHI

情報処理学会全国大会講演論文集 55 ( 1 ) 194-195 1997

Research paper (scientific journal), Joint Work

並列分散プログラム開発・実行環境を提供するためLitesの拡張を行う。本サーバはマイクロカーネル上で動作し，並列分散プロセスに対してプロセス管理や共有記憶，データストリーム，ファイル入出力などのサービスを行う。これらのサービスはUNIXのパイプやファイルを拡張する形で実現され，従来のプログラミングスタイルを保持したまま並列分散プログラムに必要な機能を提供する。

Ｌｉｔｅｓに対する並列分散ファイル入出力機能拡張の設計

HATTORI TAKASHI

情報処理学会全国大会講演論文集 55 ( 1 ) 196-197 1997

Research paper (scientific journal), Joint Work

Ｌｉｔｅｓに対する並列分散データストリーム機能拡張の設計

HATTORI TAKASHI

情報処理学会全国大会講演論文集 55 ( 1 ) 198-199 1997

Research paper (scientific journal), Joint Work

編集操作におけるマクロと制約の統合

服部隆志

インタラクティブシステムとソフトウェアIV (近代科学社) 41-49 1996.12

Research paper (conference, symposium, etc.), Single Work

動的領域管理を行う共有文書編集システムの設計

西村俊介, 服部隆志

インタラクティブシステムとソフトウェアIII (近代科学社) 201-210 1995.12

Research paper (conference, symposium, etc.), Joint Work

半順序優先度を用いた例と制約による編集

服部隆志

インタラクティブシステムとソフトウェアI (近代科学社) 233-240 1994.09

Research paper (conference, symposium, etc.), Single Work

Keio-MMPにおけるUI開発環境の設計

服部隆志

情報処理学会全国大会講演論文集 (情報処理学会) 49 ( 2 ) 401-402 1994.09

Research paper (conference, symposium, etc.), Single Work

Time-Extraction for　Temporal Logic --- Logic Programming and　Local Process Time

Takashi Hattori

Journal of Computer Systems and Sciences (Elsevier) 49 ( 1 ) 40-56 1994.08

Research paper (scientific journal), Single Work, Accepted

A sequence of states at each point in time is called a time stream. In distributed environments, it can allow simple descriptions of processes to deal each process as if it had its own proper time stream , called extracted time stream, which consists of the events essential to the process. It is proved that, for given formulas which are interpreted in one of the extracted time streams, there exist certain formulas such that they are interpreted in the universal time stream and are equivalent to the given formulas. This time-extraction is applied to the Temporal Prolog in order to decompose a program into pieces, each of which works in its own time stream. A program with time-extraction can be transformed to an equivalent program without time-extraction. It is also proved that the transformations preserve equivalence in the sense of model-theoretic semantics.

優先度付き制約論理型プログラミング

服部隆志

コンピュータソフトウェア (日本ソフトウェア科学会) 9 ( 6 ) 506-515 1992.11

Research paper (scientific journal), Single Work, Accepted

MUMINシステムにおけるユーザインターフェース管理

服部隆志

日本ソフトウェア科学会第９回大会論文集 365-368 1992.09

Research paper (conference, symposium, etc.), Single Work

RACCO : a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems --- Toward Computer-Aided Generation of Real-Time System Software ---

Takashi Hattori, Reiji Nakajima, Takashi Sakuragawa, Naoyuki Nide, and Kazuki Takenaka

Advances in Software Science and Technology (Iwanami Shoten) 3 53-70 1991.12

Research paper (scientific journal), Joint Work, Accepted

矛盾を含む制約の部分的解決

服部隆志

ソフトウェア科学会第７回大会論文集 (ソフトウェア科学会) 165-168 1990.10

Research paper (conference, symposium, etc.), Single Work

分散OS ToM におけるファイル・システム

立木秀樹, 服部隆志, 針間正紀

情報処理学会研究報告 (情報処理学会) 90 ( 67 ) 59-66 1990.09

Research paper (conference, symposium, etc.), Joint Work

GMWウィンドウ・システム上のアプリケーション構築について

大谷浩司, 角野宏司, 児島彰, 萩谷昌己, 服部隆志, 劉樹苓

コンピュータソフトウェア (日本ソフトウェア科学会) 7 ( 1 ) 45-60 1990.01

Research paper (scientific journal), Joint Work, Accepted, ISSN 02896540

並列オブジェクト指向パラダイムに従って実現されたウィンドウ・システムであるGMWと,GMW上でのアプリケーション構築法について述べる.UIMSの一般論に基づいて,ウィンドウ・システム上のアプリケーション構築における並列オブジェクト指向パラダイムの重要性,仮想機械サーバ方式の利点等について議論した後,GMWウィンドウ・システムとそのツールキットについて概観する.GMWは,次のような特徴を持った仮想機械サーバ型のウィンドウ・システムである.アプリケーションのユーザ・インターフェース部を実現するために,新たに設計された並列オブジェクト指向言語Gのコンパイラと仮想機械をサーバ内に持っていること.アプリケーション本体とユーザ・インターフェース部の通信を支援するために,並列オブジェクト指向パラダイムに従ったスタブ生成系を提供していること.G言語によって実現されたユーザ・インターフェース開発環境によって,アプリケーション実行時にもユーザ・インターフェースの編集が可能であること.

Overview of GMW+Wnn System

Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and Taichi Yuasa

Advances in Software Science and Technology 1 133-156 1989.12

Research paper (scientific journal), Joint Work, Accepted

分散OS ToM - 新しいプログラミングモデルとセキュリティ機構について -

新井潤, 桜川貴司, 立木秀樹, 萩野達也, 服部隆志, 森島晃年

京都大学数理解析研究所テクニカルレポート ( RIMS-675 ) 1989.12

Research paper (other academic), Joint Work

高速ネットワークで接続された計算機群を利用するための分散OS ToM (Threads on Modules) の概要を説明する．ToM は，プログラムを抽象化したモジュールと，処理の流れを抽象化したスレッドを独立したものとして扱い，通信として RPC (Remote Procedure Call) を用いることにより，分散環境にふさわしい計算モデルを提供している．ToM の RPCは従来のものとは異なり，スレッドとモジュールの組合わせを変更することにより行われる．また，ケーパビリティとアクセス・コントロール・リストを組み合わせたセキュリティ機構についても述べる．

分散OS ToMの構想 - 新しいプログラミング・モデルとセキュリティ機構について -

新井潤, 桜川貴司, 立木秀樹, 萩野達也, 服部隆志, 森島晃年

日本ソフトウェア科学会第6回大会論文集 345-348 1989.10

Research paper (conference, symposium, etc.), Joint Work

時制論理における時間軸の抽出 --- 論理プログラミングとプロセス固有時間

服部隆志

コンピュータソフトウェア 6 ( 2 ) 37-45 1989.03

Research paper (scientific journal), Single Work, Accepted, ISSN 0289-6540

時制論理は，オペレーティング・システムやリアルタイム制御システムなど，時間の取り扱いが本質的であるような分野において有用である. 時間軸は連続ではなく，離散的な時刻における状態の列として表わされる. ある処理内容に対して本質的な事象が起こった時刻だけを取り出して新しい時間軸を作れば，それはその処理を行うプロセス固有の時間軸であると考えることができる. この抽出された時間軸に基づけば，プロセスをより簡潔に記述できる. 抽出された時間軸上で解釈される論理式が与えられた時，元の時間軸上で解釈される同値な論理式が存在する. また，この時間軸の抽出をTemporal Prologに適用すると，プログラムを各々固有の時間軸上で動作するいくつかの部分に分解することができる. 論理式の場合と同様，抽出された時間軸上のプログラムを，元の時間軸上のプログラムへ変換することが出来，この変換はモデル論的意味を保存する.

2nd IEEE Conference on Computer Workstations

服部隆志

コンピュータソフトウェア 5 ( 4 ) 378-380 1988.10

Research paper (conference, symposium, etc.), Single Work

RACCO：実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語

桜川貴司, 竹中一起, 中島玲二, 新出尚之, 服部隆志

コンピュータソフトウェア 5 ( 3 ) 238-249 1988.07

Research paper (scientific journal), Joint Work, Accepted, ISSN 02896540

RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う.

RACCOによる工場制御の記述例

桜川貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起

京都大学数理解析研究所テクニカルレポート ( RIMS-561(J) ) 1986.12

Research paper (other academic), Joint Work

　 Previous page - Next page 　