No.109
電子計算機による数式処理
Formula Manipulations by Computer
　
1970/03/09〜1970/03/15
一松　信
HITOTSUMATSU,SHIN
　
目　次
　
1. $L^6$についての覚え書き (電子計算機による数式処理)--------------------------------------------------------------------------------5
　　　　統計数理研究所　　　渋谷 政昭　(SHIBUYA,MASAAKI)
　
2. FLIPS リスト処理のための言語 (電子計算機による数式処理)--------------------------------------------------------------------------12
　　　　日本原子力研究所　　　中村 康弘　(NAKAMURA,YASUHIRO)
　
3. 非数値計算メモ (電子計算機による数式処理)----------------------------------------------------------------------------------------16
　　　　日本プロセスコンサルタント株式会社　　　黒沢 俊雄　(KUROSAWA,TOSHIO)
　
4. 数式解析のニ.三の試み (電子計算機による数式処理)---------------------------------------------------------------------------------25
　　　　航空宇宙技術研究所　　　戸川 隼人　(TOGAWA,HAYATO)
　
5. PL/I Formac (電子計算機による数式処理)-------------------------------------------------------------------------------------------34
　　　　IBMデータセンター　　　鈴木 久子　(SUZUKI,HISAKO)
　
6. 汎用数式処理システム(KFMS)について (電子計算機による数式処理)--------------------------------------------------------------------56
　　　　慶応義塾大学工学部　　　小林 利臣　(KOBAYASHI,TOSHIOMI)
　
7. 機械翻訳システムの開発 (電子計算機による数式処理)--------------------------------------------------------------------------------69
　　　　電子技術総合研究所　　　西村 恕彦　(NISHIMURA,HIROHIKO)
　
8. FORMACを利用した級数の逆転 (電子計算機による数式処理)----------------------------------------------------------------------------83
　　　　電気試験所　　　戸田 英雄　(TODA,HIDEO)
　
9. 擬似ブール関数およびブール関数の数式処理システム : BALOC (電子計算機による数式処理)----------------------------------------------93
　　　　名古屋大学工学部　　　吉田 雄二　(YOSHIDA,YUJI)
　
10. Autocorrelation Function of the Heisenberg Ferromagnet at Elevated Temperature (電子計算機による数式処理)----------------------102
　　　　東北大学工学部 / 東北大学工学部 / 東北大学理学部 / 東北大学工学部　　　守田 徹 / 小林 和雄 / 阿部 芳彦 / 桂 重俊　(MORITA,TORU / KOBAYASHI,KAZUO / ABE,YOSHIHIKO / KATSURA,SHIGETOSHI)
　
11. 数式処理に関する随想 (電子計算機による数式処理)--------------------------------------------------------------------------------106
　　　　京都大学数理解析研究所　　　一松 信　(HITOTSUMATSU,SHIN)