• 検索結果がありません。

教育用システム記述言語

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "教育用システム記述言語"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)情報処理学会論文誌. プログラミング. Vol.10 No.3 15 (June 2017). 発表概要. 教育用システム記述言語 重村 哲至1,a) 2016年10月26日発表. 教育用システム記述言語 C--は，C 言語に似た教育用のプログラミング言語である．C--言語は以下の 3 つの目的を持つ．(1) 教育用コンピュータ TaC のオペレーティングシステム（OS）を記述し OS の実装例 を学生に示す．(2) C--言語コンパイラ自体をコンパイラの実装例として学生に示す．(3) 学生が短時間で 習得し組込みプログラミングを行うために使用する．この目的を達成するために，まず，C 言語を参考に 初心者が習得しやすいコンパクトな言語を設計した．その際，初心者が間違えやすい言語仕様をなるべく 排除した．次に，学生が実装例として参照できる小さなコンパイラを作成した．構文木を作ることなく， 構文解析と同時にコード生成をすることで処理系を小さくした．しかし，コンパクトな実装が必ずしも読 みやすい実装にならないことが分かった．そこで構文木を導入し，構文解析，コード生成等を独立したモ ジュールに分離した．最後に，C--言語を用いて TaC 用のオペレーティングシステムを記述し，システム 記述言語として実用的に使用できることを確認した．C--言語は C 言語と比較して仕様が小さく学習が容 易であり，一方で OS やコンパイラを記述することも可能であり当初の目的に使用できる．しかし，関数 ローカルな配列の宣言ができない等，不十分な点があることも分かった．. Educational System Description Language Tetsuji Shigemura1,a) Presented: October 26, 2016. The C-- language has three following purposes. (1) To describe the operating system (OS) of educational computer TaC and show the implementation of an OS to students. (2) To show C-- language compiler to students as an implementation of a compiler. (3) Students can learn C-- language at short time. And they can use it to program embedded systems. To achieve these purposes, we designed a compact language without complicated syntax to beginners. Then, we implemented the small compiler which students can refer to as an implementation. To be downsized, the compiler performs parsing and code generation at the same time without syntax tree. However, we understood that a compact implementation was not necessarily easy to read it. Therefore we introduced a syntax tree and separated parsing and code generation to independent modules. Finally we described the TaC operating system by using C-- language, and we confirmed that we could use it as a practical system description language. The specification of C-- is smaller than that of C language. So students can easily understand it. On the other hand, C-- language has ability to describe an OS and a compiler. However, it became clear that there were the insufficient points such as that arrays could not be declared in a function.. 1. a). 徳山工業高等専門学校情報電子工学科 Department of Computer Science & Electronic Engineering, Tokuyama College of Technology, Shunan, Yamaguchi 745– 8080, Japan [email protected]. c 2017 Information Processing Society of Japan . 15.

(2)

参照

今ダウンロードする ( PDF - 1 ページ - 92.74 KB )

関連したドキュメント

2 A new look at the exponential

The idea is that this series can now be used to define the exponential of large classes of mathematical objects: complex numbers, matrices, power series, operators?. For the

Let T be a tree and letx0 be a vertex ofT

As we have said in section 1 (Introduction), using the mentioned tree T , Barioli and Fallat gave the first example for which the equivalence between the problem of ordered

The exact asymptotic of the time to collision

Keywords: continuous time random walk, Brownian motion, collision time, skew Young tableaux, tandem queue.. AMS 2000 Subject Classification: Primary:

At the same time, these facts also suggest homogenization as a viable approach for modeling the global behavior of the problem

The oscillations of the diffusion coefficient along the edges of a metric graph induce internal singularities in the global system which, together with the high complexity of

We also give a trace result allowing to deduce the continuity of the solutions with respect to time

Section 4 will be devoted to approximation results which allow us to overcome the difficulties which arise on time derivatives while in Section 5, we look at, as an application of

Journal of Graph Algorithms and Applications http://www.cs.brown.edu/publications/jgaa/ vol. 5, no. 2, pp. 1{34 (2000)

The dynamic nature of our drawing algorithm relies on the fact that at any time, a free port on any vertex may safely be connected to a free port of any other vertex without

Under the same hypothe- sis of initial-data, we show that the Riemann Problem is not well-posed, which follows for weak solutions of the Cauchy Problem

In fact, we have shown that, for the more natural and general condition of initial-data, any 2 × 2 totally degenerated system of conservation laws, which the characteristics speeds

Time-Frequency Integrals and the Stationary

The time-frequency integrals and the two-dimensional stationary phase method are applied to study the electromagnetic waves radiated by moving modulated sources in dispersive media..