外山芳人
新世代プログラミング① 理論(1) ラムダ計算とコンビネータ論理
1984年01月号
新世代プログラミング⑧ 理論(2) スコット理論
1984年02月号
新世代プログラミング⑨ 理論(3) 論理とプログラム
1984年03月号
新世代プログラミング⑭ プログラム変換を論じる
1984年09月号
新世代プログラミング⑮ 熱心な読者のためのミニ文献ガイド
1984年10月号
新世代プログラミング(完) 座談会 新世代プログラミングはどうあるべきか
1984年11月号
新しい原理のコンピュータはいかにして可能か
1989年03月号
新しいプログラミング・パラダイム(完) 最大公約数 普遍代数，多項式イデアル，自動証明におけるユークリッドの互除法
1989年04月号
ナノピコ教室 出題(切捨て)
1989年10月号
ナノピコ教室解答(切捨て)
1990年01月号
ナノピコ教室⑦問題編 回文プログラミングを楽しもう
1999年04月号
ナノピコ教室⑧解答編 回文プログラミングを楽しもう
1999年07月号