今泉 貴史

コンパイラのオプティマイザはプロセッサ毎に作成しなければならず、開発効率に問題があった。これは、バックエンドで行われる最適化がプロセッサの命令に依存する一方で、各プロセッサのライフサイクルが短いためである。本稿では、パイプライン、スーパースカラなどのプロセッサの並列性を利用した最適化を行なう汎用最適化器の構成法を提案する。目的はプロセッサのアーキテクチャに関する形式的な記述を用いて最適化を行う汎用最適化器を提案、実装することである。汎用最適化器は、仕様を入れ換えることで各プロセッサに適用できるため、開発効率に優れる。

属性文法は プログラミング言語などの文脈自由言語の意味を記述するために提案された計算モデルである. これまで コンパイラの記述や その自動生成など プログラムの静的な意味の記述に利用され 研究が進められてきた. しかしその一方で 属性文法は インタプリタやデバッガなど プログラムの動的な意味の記述には適さないとされてきた. 本研究の目的は 属性文法がプログラムの動的な意味の記述に適さないことを確認し その理由や対処方法を明らかにすることである. 本研究では まず 属性文法の記述力について 計算論の立場から考察を行った. 具体的には 意味規則が算術式で 属性の依存関係が非循環の場合について考えた. この場合 属性文法に入力が与えられた時に行われる計算を 判定命令を使用しないNプログラムとして表現できることを示した. この結果から 属性文法がチューリングマシンと等価な記述力を持つのは その意味規則に部分帰納的関数が許されているためであり 属性伝播という仕組みは なんら貢献していないことを示した. 我々は この属性伝播という仕組みに計算力が欠如している点が 属性文法がプログラムの動的な意味の記述に適さない理由であると考えた. そして その対処法として 高階属性文法を用いることで 属性文法の制限を補い 動的な意味の記述を容易に行う方法を示した.Attribute grammar is a computational model for describing semantics of formal languages, and has been used mainly for designing compilers and compiler generators. But it is not suitable for describing dynamic semantics. In this research, we confirm that attribute grammar is not fit to describe dynamic semantics of program, and to clear up the cause and the method to deal with the cause. We considered attribute grammar's description ability from a point of Computability. Concretely, we treat restricted attribute grammar that has arithmetic semantic rules, and there is no circularity in attribute dependencies. In this case, there is a corresponding N program that has no branches. As a result, we found that attribute grammar has ability equivalent to Turing Machine. But it highly depends on recursive functions in semantic rules. We consider that why attribute grammar is not suitable for describing dynamic semantics, is that attribute propagation mechanism lacks the calculation ability. And we show the method by which we easily describe the dynamic semantics or program by using Higher Order Attribute Grammar to make up attribute grammar's limitation.

Organizations have to provide network segments to connect visitors' computers to the Internet. We call such a network PAN (Public Access Network). You must consider both network security and user's convenience in the case of PAN building. When a computer is connected with PAN, it is desirable that it can be used with the environment that is the same as usual. In this paper, we propose PANS to satisfy the above requirements. PANS is the system that controls the condition of the connection to the network automatically corresponding to the user of the computer and the use conditions.

One of the largest characteristics of the Internet is that anyone ran access anywhere freely, but it is important to protect secret documents from the outside. We use firewalls to protect such documents. In this research, we make a system by which we ran specify access-lists; that realizes firewall more easily. You can specify the setting of packet-filtering in higher-class language by using proposed system. We believe that reliability of whole system can be increased by using our language, Therefore, our system will contribute to improve the reliability of networks.

従来、大学全体のネットワークシステムの管理は、高いネットワーク技術水準を持ち、ネットワーク環境を必要とする教官や学生が、自身の環境を管理する作業の延長として行われてきた。これが、いわゆるボランティアベースの管理体制である。ところが、近年のネットワークシステムの拡大によって、ボランティアベースの管理体制ではもはや対処できなくなってきた。そこで、多くの大学ではキャンパスLAN全体を組織的に管理する体制の構築が始まっているが困難な点が多い。本論文では、東京工業大学におけるキャンパスLANの管理の経験から得られた、業務的なキャンパスLAN運用のためのガイドラインを提案する。