サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【ネットストア】カレンダー全品ポイント最大10倍キャンペーン

収録作品一覧

作品 著者 ページ
Generation of pattern‐matching algorithms by extended regular expressions Ikuo Nakata 著 1-9
Derivation of a Knuth‐Morris‐Pratt algorithm by fully lazy partial computation Keiichi Kaneko 著 11-24
Computability of modularization of constraints Yutaka Tomioka 著 25-43
Declarative semantics of logic programs on parameterized representation systems Kiyoshi Akama 著 45-63
TAMPOPO:an evolutionary learning machine based on the principle of realtime minimum skyline detection Toshinori Watanabe 著 65-90
Implementation of augmented logic language(ALL) Fumio Motoyoshi 著 91-106
The determinacy of a prolog predicate call Hajime Sawamura 著 107-118
Distributed C language based on a higher‐order RPC tecnique Kazuhiko Kato ほか著 119-143
Adding a multilingual feature to Smalltalk‐80 Toru Aratani ほか著 145-163
Japanese character set Handling in Kyoto common lisp Taichi Yasumoto 著 165-181
Drill text understanding with integrated natural language and picture processing Tsutomu Endo 著 183-200
Naming of objects in large‐scale distributed systems Nobuhisa Fujinami 著 201-216
WINCS:a programming supporting system for developing window control programs Takeshi Imanaka ほか著 217-237
CSCW platform system Teidan and its concurrency control algorithm Jun Rekimoto 著 239-255