▽Publication Links for Programming Language Researchers
●06/08 12:29
Honda, Kohei

▽What’s new in Linear Logic
●12/06 12:21
Torben Bra〓ner. The Girard translation extended with recursion. In L. Pacholski and J. Tiuryn, editors, Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic, pages 31-45, Kazimierz, Poland, September 1994. Springer Verlag, LNCS 933. Short version as Technical Report BRICS-RS-95-13, BRICS, Aarhus, Danemark. Available in DVI and PostScript formats.
Torben

▽ Lecture of Computer Programming I by Hiroshi Ichiji
●02/10 11:10
Forbidden
You don’t have permission to access /~cichiji/cp-04/cp-04.html on this server.

▽厚生労働省：新型ｲﾝﾌﾙｴﾝｻﾞに関する情報
●07/02 05:12
ｲﾝﾌﾙｴﾝｻﾞに関する最新の情報は､2011年4月1日から厚生労働省ﾎｰﾑﾍﾟｰｼﾞのｲﾝﾌﾙｴﾝｻﾞ情報ｻｲﾄ（https://www.mhlw.go.jp/bunya/kenkou/kekkaku-kansenshou01/index.html）に順次掲載してまいりますので､以前の新型ｲﾝﾌﾙｴﾝｻﾞ対策関連情報ｻｲﾄをお気に入り登録されている方は､ご変更をお願いいたします｡

▽あけてくれ - おれｶﾈｺﾞﾝの｢算数できんの気にし過ぎとや｣日記
●05/25 13:21
Not Found
The requested document was not found on this server.
Web Server at @domain_name@