No.189

1972/10/09〜1972/10/11

高須　達

TAKASU,SATORU

目　次

1. Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)---------------------------------------------------2

　　　　京都大学数理解析研究所　　　五十嵐 滋　(IGARASHI,SHIGERU)

　

2. Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論)--------------------------------------------------------------7

　　　　早稲田大学理工学部 / 日立　　　広瀬 健 / 大谷 真　(HIROSE,KEN / OTANI,MAKOTO)

　

3. On the Key Assertions (プログラムの基礎理論)-------------------------------------------------------------------------------------13

　　　　京都大学数理解析研究所　　　高須 達　(TAKASU,SATORU)

　

4. Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論)------------------------------------------------------38

　　　　東京教育大学理学部　　　西村 敏男　(NISHIMURA,TOSHIO)

　

5. Theorem-ProvingのProgram (プログラムの基礎理論)----------------------------------------------------------------------------------52

　　　　東京教育大学理学部 / 東京教育大学理学部 / 九州大学工学部 / 東京教育大学理学部　　　西村 敏男 / 井出 修 / 大矢 建正 / 神居 雅志　(NISHIMURA,TOSHIO / IDE,OSAMU / OYA,TAKEMASA / KAMII,MASASHI)

　

6. Preparations for Formal Study of a Simple Program Including Floating-Point Arithmetic (プログラムの基礎理論)---------------------60

　　　　九州大学工学部　　　牛島 和夫　(USHIJIMA,KAZUO)

　

7. A Formal System of Programs (プログラムの基礎理論)-------------------------------------------------------------------------------70

　　　　電気通信大学　　　金山 裕　(KANAYAMA,YUTAKA)

　

8. Data Typeの公理系 (プログラムの基礎理論)-----------------------------------------------------------------------------------------82

　　　　三菱電機中央研究所　　　伊藤 貴康　(ITO,TAKAYASU)

　

9. Computer Program Synthesis From Computation Traces (プログラムの基礎理論)--------------------------------------------------------89

　　　　オハイオ州立大学　　　BIERMANN,A.W.

　

10. Analysis of a Disk Operating System (プログラムの基礎理論)---------------------------------------------------------------------101

　　　　大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部　　　奥井 順 / 都倉 信樹 / 嵩 忠雄　(OKUI,JUN / TOKURA,NOBUKI / KASAMI,TADAO)