No.363
ソフトウェア科学及び工学の数学的方法
Mathematical Methods in Software Science and Engineering
　
1979/05/10〜1979/05/12
中島　玲二
NAKAJIMA,REIJI
　
目　次
　
1. Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)---1
　　　　Research Institute for Mathematical Sciences, Kyoto University　　　YUASA,TAIICHI
　
2. Some Analysis of PASCAL Programs (Mathematical Methods in Software Science and Engineering)--------------------------------------41
　　　　Department of Information Science, Kyoto University / Hankyu Corporation　　　SHIMASAKI,MASAAKI / FUKAYA,SHIGERU
　
3. Design and Implementation of a Multipass-Compiler Generator (Mathematical Methods in Software Science and Engineering)-----------59
　　　　Department of Information Science, Tokyo Institute of Technology / Department of Information Science, Tokyo Institute of Technology / Department of Information Science, Tokyo Institute of Technology / Department of Information Science, Tokyo Institute of Technology　　　SASSA,MASATAKA / TOKUDA,JUNKO / SHINOGI,TSUYOSHI / INOUE,KENZO
　
4. On a Microcode Compiler Toward a Table Driven Firmware Generator (Mathematical Methods in Software Science and Engineering)-----100
　　　　Central Research Laboratory, Mitubishi Electric Corporation / Central Research Laboratoey, Mitubishi Electric Corporation　　　FUSAOKA,AKIRA / MIKAMI,KAZUYOSHI
　
5. Logical Design of a 4NF D-Tree Schema of a Relational Data Base (Mathematical Methods in Software Science and Engineering)------130
　　　　Graduate School of Information Engineering, Hokkaido University　　　TANAKA,YUZURU
　
6. Relational Strategies for Processing Universally Quantified Queries to Large Data Bases (Mathematical Methods in Software Science and Engineering)---165
　　　　Computer Science Division, Electrotechnical Laboratory　　　FURUKAWA,KOICHI
　
7. Associative Data Structures and Their Applications (Mathematical Methods in Software Science and Engineering)-------------------188
　　　　Dept. of Information Science, University of Tokyo / Dept. of Information Science, University of Tokyo / Dept. of Information Science, Institute of Physical and Chemical Research　　　SUZUKI,MASAYUKI / GOTO,EIICHI / INADA,NOBUYUKI
　
8. Fast List-Copying Algorithms using Constant Workspace (Mathematical Methods in Software Science and Engineering)----------------218
　　　　Computer Science Division, Electrotechnical Laboratory　　　HASEGAWA,HIROSHI
　
9. Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)---247
　　　　Dept. of Information Science, Kagawa University / Research Institute for Mathematical Sciences, Kyoto University　　　HONDA,MICHIO / NAKAJIMA,REIJI
　
10. On Semantic Generalization of Examples (Mathematical Methods in Software Science and Engineering)------------------------------278
　　　　Department of Mathematics, Kagoshima University　　　HARAGUCHI,MAKOTO