巻号一覧
2 巻 (1985)
- 4 号 p. 4_581-
- 3 号 p. 3_483-
- 2 号 p. 2_383-
- 1 号 p. 1_291-
2 巻, 3 号
選択された号の論文の11件中1～11を表示しています
- |<
- <
- 1
- >
- >|
-
山口 昌哉1985 年 2 巻 3 号 p. 3_483
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
島崎 眞昭1985 年 2 巻 3 号 p. 3_484-3_508
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
疋田 輝雄1985 年 2 巻 3 号 p. 3_509-3_517
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
吉田 和幸 , 牛島 和夫1985 年 2 巻 3 号 p. 3_518-3_528
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー日本語テキストファイルを扱うプログラムを書く上で最初に問題になるのは16ビットコードの日本語文字と従来からある8ビットの英数字とが自由に混在しているところにある.文字列に関するかなり複雑な操作も簡単に記述できるSNOBOL4に日本語テキスト処理機能を付加することで,日本語文字と英数字とが混在しているテキストの高度な手続きを簡単に記述できるようにした.主記憶内での英数字の表現を16ビットに正規化することによって,文字列処理の複雑なアルゴリズムを含む既存のSNOBOL4処理系の主要部分は全く変更せずに機能追加を実現できた.開発は日本語テキスト処理機能を設計し,とにかく動くものを実現する第1段階と次にその処理性能を改善する第2段階とからなる.最後に,既存ソフトウェアを手直しすることによって日本語テキスト処理機能を比較的容易に実現できた理由について考察する.
抄録全体を表示PDF形式でダウンロード (922K) -
水谷 哲也 , 細野 千春 , 五十嵐 滋1985 年 2 巻 3 号 p. 3_529-3_538
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリーν-定義可能行為によって,プログラムの検証を容易かつ厳密に行うことができる.「危険領域」や「餓死問題」などの,並行プログラムについての基本的かつ高度な概念と問題点をもつDijkstraの例題を対象として,ν-定義可能行為を用いて検証を行った.そのため,まずプログラムをν-定義可能行為で表現する簡単ではあるが基本的な手続きを示し,その後プログラムの検証にとって重要ないくつかの補題を証明しながら検証を進めた.
抄録全体を表示PDF形式でダウンロード (595K) -
溝口 文雄1985 年 2 巻 3 号 p. 3_539-3_542
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
穂坂 衛1985 年 2 巻 3 号 p. 3_543-3_552
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
大森 健児1985 年 2 巻 3 号 p. 3_553-3_556
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
米澤 明憲1985 年 2 巻 3 号 p. 3_557-3_559
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
佐々 政孝1985 年 2 巻 3 号 p. 3_560-3_562
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー -
二村 良彦1985 年 2 巻 3 号 p. 3_563-3_565
発行日: 1985/07/15
公開日: 2018/11/05
ジャーナル フリー
- |<
- <
- 1
- >
- >|