解説,論説記事
A letter from the late Prof. Martin Hofmann (dated March 12, 2002)
(My paper mentioned in the letter is "
Resource-Passing Concurrent Programming
" in Proc. TACS2001, LNCS2215, pp.95-126.)
広くゆきわたったB木
(翻訳・校注)
(原文: Douglas Comer, "The Ubiquitous B-Tree", ACM Computing Surveys, Vol.11, No.2, 1979, pp.121-138)
bit 1980年11月号別冊「コンピュータ・サイエンス」, 1980, pp.21-39 から共立出版株式会社の許可を得て転載
本田耕平先生を偲んで
日本ソフトウェア科学会第30回大会, 2013年9月12日.
なぜソフトウェア論文を書くのは難しい(と感じる)のか
(権藤克彦, 明石修, 伊知地宏, 岩崎英哉, 河野健二, 豊田正史と共著)
コンピュータソフトウェア, Vol.26, No.4 (2009), pp.17-29.
ソフトウェア論文座談会
(吉瀬謙二, 土村展之, 湯淺太一, 権藤克彦, 本位田真一と共著)
コンピュータソフトウェア, Vol.26, No.4 (2009), pp.2-16.
[pdf]
上田和紀: 論理・制約プログラミングと並行計算, コンピュータソフトウェア,Vol.25, No.3 (2008), pp.49-54.
Logic Programming and Concurrency: a Personal Perspective
The ALP NewsLetter, Vol.19, No.2
, May 2006.
20世紀の名著名論 − C. A. R. Hoare: Communicating Sequential Processes
(情報処理,Vol.46, No.1,2005年1月)
Teaching (Constraint) Logic Programming
Panelists: G. Gupta, M.V. Hermenegildo, U. Nillson, P. Stuckey, K. Ueda
Organizer: M. Ducasse, Scribe: E. Pontelli
Panel at ICLP 2003, Mumbai, India, December 2003.
20世紀の名著名論 − J. A. Robinson: A Machine-Oriented Logic Based on the Resolution Principle
(情報処理,Vol.43, No.7,2002年7月)
人工知能とソフトウェア文化
(人工知能学会誌,Vol.16, No.6 巻頭言,2001年11月)
「好々爺の部屋(4)− TECO」
(bit 2001年2月号 (Vol.33, No.2, pp.48-54) から許可を得て転載)
シンガポール国立大学
(人工知能学会誌,Vol.16, No.1, pp.169-170,2001年1月)
2000年度後期在外研究の滞在記です.
存在価値のある研究会を目指して −プログラミング研究会の試み−
情報処理学会第60回全国大会,60回記念セッション「過去と将来をみつめる」,2000年3月
ハードウェアの進歩とソフトウェアの進歩
(bit別冊「はじめての並列プログラミング」,共立出版,1998年5月,p.100 から許可を得て転載)
Bookガイド − プログラミング言語編
(bit 1998年4月号(Vol.30, No.4, pp.56-64)から許可を得て転載)
デラサール大学滞在記
(早稲田大学理工学部報「塔」69号,1997年7月)
プログラムを書こう,プログラムを読もう
(bit 1996年1月号巻頭言から許可を得て転載)
情報科学を学ぶ
(早稲田学報,1994年5月号)
情報学科新入生および一般の方々のために,情報科学の学習や研究に対する私の考え方を述べた.
理論と実際のギャップ:並列プログラミン グ
(情報処理,Vol.34, No.7, 1993年7月)
特別論説「情報処理最前線」企画の一環として,並列プログラミング分野での理論研究と実践研究との関係を論じたもの.(1) 並列言語とその処理系の分野,および (2) 並列処理と超並列処理の分野について,理論と実践との乖離や相互交流の例をあげ,今後の研究のありかたを論じた.
並列プログラミングへのアプローチ
(通信工業,1987年3月号)
並列プログラミング,および並列論理プログラミング言語GHCの設計の経緯について,一般の方々向けに平易に解説した.
資料
[new]
AITEC・ICOTアーカイブズ: わが国の先端情報技術開発
「
第五世代コンピュータプロジェクトの記録
」(ほぼすべての論文・資料・公開ソフトウェア)が含まれています.
(一般財団法人日本情報経済社会推進協会(JIPDEC)の許可を得て掲載)
並行論理プログラミング言語 GHC / KL1
(pdf, 256085 bytes)
並行プログラミングおよび並行論理プログラミングの講義で使ってきたスライドです.
古文書
TECO
(Text Editorand COrrector) 関係 . . . 学生時代に日立H8700/H8800シリーズ(OS7)および M-200Hシリーズ(VOS3)上に実装したTECOの記録です.
TECO (Text Editor and COrrector) メモ(第二版)(1980-03-19)
(青焼用原図から復元.6ページ, pdf, 200KB)
開発経緯,実装の詳細および使用経験.
同上付録,
TECOコマンド一覧表
(
変色した青焼
から腕力で復元.1ページ, pdf, 52KB)
TECOは複雑だというのが定説だったが,この1ページサマリを今見ると,とてもそうは感じられない.当時最も美しい出力が得られたVersatecプロッタの出力だが,1とlの区別が困難である.
同上付録,TECOによる
ミニエディタ
(戸村哲氏作,変色した青焼から復元.1ページ, pdf, 32KB)
「好々爺の部屋(4)− TECO」
(bit 2001年2月号 (Vol.33, No.2, pp.48-54) から許可を得て転載)
→
Pete Siemsen's TECO collection
→
DOS, Windows, OS/2 用 TECO (Tom Almy)
Last update: June 23, 2018
ueda@ueda.info.waseda.ac.jp