AspectJにおける新しいポイントカットdflowの実現のためのJavaバイトコード変換を提案する．dflowとは，値間の動的な依存関係を特定できるポイントカットである．dflowポイントカットを使うことで，ポイントカット中の変数が指す値の間の依存関係の有無によってアドバイスの実行を制御できる．本変換は，AspectJコンパイラが生成したJavaバイトコードに対し，値間の依存関係を動的に記録する命令を追加する．本変換はまず静的に変数間の依存性を解析し，その解析結果を用いることで必要最低限の命令を追加する．そのため，解析を行わない単純な変換手法よりもオーバーヘッドの小さいバイトコードを生成できる．dflowポイントカットの使用例に基づいてバイトコードを変換し，変換後コードのオーバーヘッドを測定した結果，本変換の有用性を確認できた．

抄録全体を表示

近年，ソフトウェアの信頼性の向上と開発期間の短縮のために，組込みシステムの分野にもJavaが使われるようになってきた．組込みシステムではイベントに対して素早い応答が必要なアプリケーションが多いため，アプリケーションを長時間止めない，実時間GCが必要になる．本稿では，代表的な組込み向け実時間GCであるMetronomeを例に，実時間GCの全体像を紹介する．さらに，いくつかのトピックについて，実時間GCに使われる技術の詳細を紹介する．

抄録全体を表示

Hibernate上でポータブルなデータベースガーベジコレクション(DBGC)を実現した．本ソフトウェアは，ミドルウェアとして利用するHibernateがDBの差異を吸収することでポータブル性を実現している．Hibernateが保有する完全なテーブル間関連のメタデータを利用してGCを実現するために必須の到達可能経路情報を獲得している．GCのアルゴリズムは湯淺のsnapshot-at-the-beginning法を用いた．マーキングはSQLを用いた集合演算によって行っている．GCのマークを世代番号として表現した整数値のマーキングを導入したことで，スイープを通常のmark-and-sweep法の順序とは異なり，任意のタイミングで行うことができる．オブジェクトの新規追加とポインタの参照先の付け替えに関する情報はHibernateが持つオブジェクトの状態監視機構を改変して獲得している．世代番号の制御によってDBアプリケーションと並列にGCを行うことができる．

抄録全体を表示

ソフトウェア開発プロジェクトでは想定していた開発計画とプロジェクト終了後の開発実績には大きな隔たりがある．例えば，顧客の要望で機能要件が変更され，それに伴い変更作業のプロセスが当初の計画に追加される等である．予期せず追加されたプロセス(メントプロセス)は開発プロセス全体を複雑化する．複雑になったプロセスはプロダクト品質に影響すると予想されるが，従来の研究ではプロセスの複雑さとプロダクト品質の関係が明確に示されていない．そこで，本稿ではソフトウェア開発プロジェクトの並行作業に着目したプロセスの複雑さを提案し，プロダクト品質との関係を明確にする．プロセスの複雑さはメントプロセスによって開発プロセスがどのように複雑化するかを定量的数値で示す．本提案を産業界における8つのプロジェクトを用いてプロセスの複雑さとプロダクトの品質の関係を調査した．結果，PC値と致命的障害には相関係数0.786を確認した．更に，プロジェクトのプロセスの複雑さを用いてリリース後のプロダクト品質を予測した結果，実測値に近い品質を予測することができた．

抄録全体を表示

1987年にJ.-Y. Girardが発表した線形論理は,計算機科学への応用が期待されている新しい論理体系である。線形論理の論理型言語への応用は,特に活発な分野の一つであり,LO,ACL,Lolli,Lygon,Forum,およびLLP等の研究がある。これらのほとんどの言語では,リソース概念はプログラミング上で重要な位置を占めている。したがって,リソースを効率的良く取り扱う計算モデルの構築は重要な研究課題となっている。本論文で述べるレベル付きIOモデルは,効率的なリソース管理を目的とした計算モデルであり,実行中はただ一つのリソース表を保持すれば良いように工夫されている。本モデルは,LLPコンパイラ処理系で採用され,その有効性が示されている。

抄録全体を表示

セキュリティホールの残っているの存在を探すscan攻撃や，scan攻撃により発見したやサービスに対する攻撃が後を立たない.我々はこうした攻撃の対策のため，未使用のIPアドレスへのコネクション要求に対する応答の偽装や，コネクション確立の監視によりscan攻撃を検知するシステムの運用を行っている．この運用システムで検知した攻撃者について調査を行う．また，scan攻撃に特徴があるかをシステムのログやtcpdumpのログを元に調査を行う．本論文では，この調査結果について述べる．

抄録全体を表示

規模の大きな，制御フローの複雑なプログラムを充分にテストすることは容易ではない．プログラム実行時の動作の正しさを調べるには，実行時点での性質や条件を示す表明(アサーション) を挿入する方法が知られている．
本論文では，Hoare の記法P{Q}Rに基づいて，事前条件(P)に対して，事前チェック(pre-check ∼P)，および，事後条件(R)に対して，事後チェック(post-check ∼R)するプログラムの設計法を提案する．また，そのようなチェック機能を，能動関数(active function) を用いた形で設計・実現する方法について述べる．能動関数は，自ら起動する条件を持った関数で，指示された時点で条件の値が真(true)になると，関数の本体を実行する．
このような設計法によって，実行の正しさを保証するだけでなく，ソフトウェアの仕様の変更に柔軟に対応して，安定した状態を保つプログラムの構成を目指している．なお，能動関数を用いたプログラムを効率良く実行するには，それに適合したハードウェアの支援が不可欠である．

抄録全体を表示

LMNtalは階層グラフ書換えに基づく言語モデルであり，リンク構造による接続構造と膜による階層構造の表現・操作機能によって，動的データ構造や多重集合書換えを扱うプログラムを簡潔に記述することができる．LMNtalは書換え規則の適用を単位とする細粒度の並行性をもっており，正しく効率的な実装方式は自明でない．そこで言語処理系をJavaを用いて開発し，効率をできるだけ犠牲にせずに正しく動作する実装方式を確立した．処理系は中間命令列へのコンパイラ，その解釈実行系及びJavaソースへのトランスレータからなり，他言語インタフェースをはじめとするさまざまな有用な機能を備えている．複数の膜を貫くリンク構造を正しくつなぎかえるための処理や，複数の膜にある書換え規則を正しく非同期実行させるための工夫も行っている．本論文では，処理系開発において主要な技術的課題となった階層グラフ構造の保持方法，中間命令体系，安全な非同期実行方式等を中心として，公開中のLMNtal処理系の設計と実装について論じる．

抄録全体を表示

Adder is the most basic functional module, and is widely used to multiplier, divider and others. Therefore high speed adder must be developed for the fast operation. Though various types of adders were proposed, quantitative evaluation has not been performed yet. In this paper, we give the quantitative evaluation for each adders by 4 terms of power consumption, area, gates, and delay time by using hardware description language. From the results, it is clear that the sign digit (SD) adder is better than the others.

抄録全体を表示

が出現してから約40年,その間にコソピュータ技術は急激に発達した.しかし,最近,質的に新しい技術的変革が始まっているように思われる.の特質は何かと問われれば,その柔軟性を挙げることが出来よう.最近の技術的変革は,が更に高度な柔軟性,すなわち,高等生物がもつ適応機能,学習機能,自己修復機能などを獲得するたたの柔構造化への新しい挑戦であると言ってよい.以下にこれらを概観してみよう.

抄録全体を表示

分散ハッシュテーブル(DHT)はPeer-to-Peer(P2P)ネットワークを構築する手法の1つであり，スケーラビリティの高いKey-Value型の検索を可能とする．しかしながら，既存のDHTアルゴリズムはNATの問題を考慮しておらず，現実世界で用いるには不十分である．NAT問題は非常に深刻であり，P2Pネットワークアプリケーションを設計・実装する際に最も考慮しなければならない点の1つであるが，既存DHTアルゴリズム・実装のほとんどは，NAT問題について十分に考慮しているとは言い難い．そこで我々は，NATが介在する環境においても安定して利用することの出来るDHTの設計と，実証ライブラリであるlibcageの実装を行った．本論文では，その設計と実装について述べ，評価を行う．なお，libcageのソースコードはインターネット上にBSDライセンスで公開しているため，誰でも自由に利用・改変が可能である．

抄録全体を表示

Recently, production of computer animation become very active. In this paper, a system of producing animation of planar folds, “ORIGAMI”, is described. “ORIGAMI” is a kind of paper craft, in which the geometrical state of a sheet of paper is changed in a three dimensional space according to folding. For making pictures between given key frames according to “ORIGAMI” rules, simple linear interpolation doesn't produce correct intermediated pictures, because it is required that relations such as distance between vertices of folded paper had to be maintained in constant. For solving these problems, easy indication of coordinate values and standard data structure are needed. For describing the states of all kinds of planar folds in the object space, the standard 3-D data base composed of two kinds of indications, actions such as rotation and restriction, and geometrical coordinate values, is proposed. By proposed method of calculating intermediated pictures which satisfies given conditions, the designed system can create all kinds of “ORIGAMI” animation. This system is designed to be very compact to allow to use a personal computer. By these techniques, correct and reasonable intermediated pictures are made easily. As an example, the process of making a “swan” is illustrated. As an application of this system, the movement of a paper craft is simulated.

抄録全体を表示

　The set of Tibetan characters consist of basic 30 consents, 76 combination characters, and 4 vowels. Despite the limited number, there are many similar characters and thus, special treatment is necessary to recognize them automatically.
　In this paper, each Tibetan character is assigned to have an Object Oriented dictionary which is created by combining the categorization and the character identification procedures. When the Euclidean distance between the candidate characters becomes shorter than the assumed threshold values, these characters are categorized as similar characters.

抄録全体を表示

インターネット上のサービスリソースを表すために，DNSにおけるSRV-RRや，Bonjour/AvahiにおけるmDNSのような，IPアドレスとポート番号の対情報をアプリケーション層の識別子として提供する方法が提案されている．しかし，名前解決にDNSレゾルバを利用するような一般的なネットワークソフトウェアでは，これらの手法により提供されるアプリケーション識別子を直接利用することが難しい．そのため，それぞれの専用レゾルバを利用したプログラムを別途作成することが必要となっていた．そこで我々は，Kademliaを利用したDTUNベースの名前解決基盤の設計を行った．その名前解決基盤では，アプリケーション識別子としてサービスネームを提供することで，既存のネットワークアプリケーションソフトウェア自体には手を加えることなくアプリケーション層の名前解決が可能となる．本論文では，その設計と実証プログラムであるPRISON/CAGEの実装について述べ評価を行う．また，そのソースコードはインターネット上でBSDライセンスにて公開しているため，誰でも自由に利用・改変が可能となっている．

抄録全体を表示

本論文では，著者らの開発した線形論理型言語コンパイラ処理系のLLPを用いて，古典命題線形論理の論理式の証明探索を行うシステムLL2LLPについて述べる．本システムは，古典命題線形論理式を直観主義線形論理式に変換し，さらにLLPコンパイラを用いてLLP抽象機械命令にコンパイルしたのち実行することで高速な証明探索を実現している点に特徴がある．いくつかの線形論理式に対して，既存の線形論理定理証明システムと性能を比較した所，ほとんどの問題でより良い結果が得られた．

抄録全体を表示

アスペクト指向プログラミング(AOP)では，ロギングのような横断的関心事の存在を考慮せずにクラスを設計出来る．この性質は，obliviousnessと呼ばれる．一方で，プログラムの振る舞いは横断的関心事の織り込みによって決まるため，織り込みされているプログラムの実際の振る舞いを知ることは容易ではなく，プログラムに誤りが混入することがある．この問題を解決するため，本論文は織り込みの正しさを契約に基づき検証する手法としてWbC (Weaving by Contract)を提案する．WbCにおける契約は，織り込みに対する事前，事後，不変条件から成り，織り込みの前後でプログラムがどのような振る舞いを持つべきかが指定できる．本論文では，また，WbCの記述言語としてCOW (COntract Writing language)を提案する．COWでは，プログラムの振る舞いをプログラム内の制御フローやデータフローの特徴として表し，これを述語論理により記述出来るようにする．WbCは，織り込みがプログラマの意図通り行われるために役立つ．

抄録全体を表示

本論文では，パターンマッチングとそのコンパイルを系統的に理解するための表示的意味論を提示し，それを基に，パターンマッチング構文を効率よいコードにコンパイルする系統的なアルゴリズムを提案する．まず，パターンを値の部分集合と見なし，パターンマッチング構文を，マッチングの対象項が含まれる部分集合を決定する機構と見なすことにより，パターンマッチングの集合論的意味論を与える．次に，各パターンの表示的意味を表現する木構造を定義し，それに基づきパターンマッチングのコンパイルアルゴリズムを導出し，このアルゴリズムの正しさを証明する．導出されたアルゴリズムは，分岐の選択に関して正しいばかりでなく，実行時の値のテスト回数に関して最適であり，かつ，冗長なパターンや網羅的でないパターン集合を常に正確に検出することが保証されている．以上構築したアルゴリズムは，Standard MLの拡張言語であるSML#言語に対して実装され，SML#コンパイラのパターンマッチングコンパイルモジュールとしての使用を通じてその実用性が確認されている．

抄録全体を表示