論文 - 土居　範久

情報システムと暗号

人間工学 Vol.18 （ No.4 ） 191?197 1982年

研究論文（学術雑誌）, 共著

　概要を見る

暗号の基本概念，古典的暗号，DESのアルゴリズム，公開鍵暗号特にRSA暗号，ディジタル署名，公開鍵配送系等に関する解説。

実行効率のよい順路式の実現方法

情報処理学会論文誌 Vol.23 （ No.3 ） 312-320 1982年

共著

　概要を見る

並行プロセス間の同期を実行履歴に基づいてとる順路式の効率的な実現方法の提案。

Requirement Specification Description System in Japanese Language-JISDOS

Proceedings of 6th International Conference on Software Engineering    127-136 1982年

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

要求仕様記述システムISDOSをベースとして日本語で要求仕様を記述しようとする試みについて記述。

A Software Development Tools under Japanese Environment

Proceedings of Current Issue of Requirement Engineering Environment    59-67 1982年

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

より自然な日本語で記述したアルゴリズムをPascalに翻訳する試みについて記述。

PDL-Process-Data Language.A Specification Language for PDR

Institute of Information Science，Keio University，KIIS-81-01 1982年

共著

　概要を見る

並列計算の仕様記述法PDRとそれに基づく仕様記述言語PDLの提案。

公衆暗号系の実現可能性と問題点

情報処理 Vol.22 （ No.1 ） 47?54 1981年

研究論文（学術雑誌）, 共著

　概要を見る

公開鍵暗号系の算法，暗号化・復合・解読の手間，実現性とその問題等に関する解説。

Specification Technique for Parallel Processing:Process-Data Representation

Proceedings of the National Computer Conference Vol.50   407-413 1981年

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

並列処理をプロセスとデータの両面から仕様を規定しようとする試みの具体例と実現方法の記述。

公衆暗号系

情報処理 Vol.22 （ No.1 ） 38?46 1981年

研究論文（学術雑誌）, 共著

　概要を見る

暗号の基本概念，米国のデータ暗号化規格DESと公開鍵暗号系の思想と方法の解説。

Forcing Logic in Process-Data Representation

Institute of Information Science，Keio University，KIIS-79-01 1979年

共著

　概要を見る

並列計算でのプロセスとデータの関係を記述するのに適した強制論理の提案。

順路式

情報処理 Vol.19 （ No.8 ） 779?787 1978年

研究論文（学術雑誌）, 単著

　概要を見る

並行プロセス間の同期を実行の履歴でとる順路式の構文，意味，証明法，実現方法等について解説。

Process-Data Representation

Proceedings of the 3rd USA-JAPAN Computer Conference    225-230 1978年

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

並列処理をプロセスとデータの両面から規定することにより，その仕様を与えようとする試みの記述。

A Memory Resident，Reentrant FORTRAN Compiler:CAFT

総研紀要 Vol.6 （ No.3 ）  1977年

研究論文（大学，研究機関等紀要）, 共著

　概要を見る

慶応およびその他の大学で実習用に用いられた、著者らが開発した主記憶常駐型FORTRANコンパイラの設計と実現について。

The System Software for KOCOS（Keio-Oki′s Complex System）

IFIP TC-2 Working Conference on Software for Minicomputer 1976年

共著

　概要を見る

均質でないミニコンピュータ複合体を稼働させるためのシステムソフトウエアの実現方法について記述。

An Implementation of the Operating System （SOS） Realizing the Cooperating Processes in ALGOL or FORTRAN

Information Processing in Japan Vol.15   90-95 1975年

単著

　概要を見る

並行プロセスのための基本操作を提供する層構造のオペレーティングシステム核を高水準言語で実現するための試みについて記述。

ALGOLあるいはFORTRANでコオペレーティングプロセスを実現するためのオペレーティングシステムSOS

情報処理 Vol.16 （ No.1 ） 7-14 1975年

単著

　概要を見る

並行プロセスのための基本操作を提供する層構造のオペレーティングシステム核を高水準言語で実現するための試みについて記述。

教育用主記憶常駐型FORTRANコンパイラの現状

情報処理 Vol.15 （ No.11 ） 876?886 1974年

研究論文（学術雑誌）, 単著

　概要を見る

教育用を主目的とした主記憶常駐型FORTRANコンパイラの現状と性能の比較。

Conversational FORTRAN:KEIO System

Information Processing in Japan Vol.9   56-59 1970年

共著

　概要を見る

著者らが開発した，再入可能会話型FORTRANシステムの設計と実現方法について記述。

会話型FORTRAN:KEIOシステム

情報処理 Vol.10 （ No.2 ） 68-77 1969年

共著

　概要を見る

著者らが開発した，再入可能会話型FORTRANシステムの設計と実現方法について記述。

KEIO-TOSBAC Time-Sharing System:Input/Output Control and Supervisor

Information Processing in Japan Vol.8   53-62 1968年

共著

　概要を見る

TOSBAC3400を改造して試作したタイムシェアリングシステムの制御プログラムについて記述。

KEIO-TOSBACタイムシェアリングシステム.入出力制御とスーパーバイザ

情報処理 Vol.9 （ No.2 ） 80-87 1968年

共著

　概要を見る

TOSBAC3400を改造して試作したタイムシェアリングシステムの制御プログラムについて記述。