349 | | (under construction) |
| 349 | == 2007 == |
| 350 | * Dependent Types in Imperative Programming Language[[br]] |
| 351 | 命令型プログラミング言語における依存型[[br]] |
| 352 | ([/~ushioda/ 潮田 資秀]) |
| 353 | * Detecting Creation of Processes and Execution of Applications without Modifying Guest OS Kernel on Virtual Machine Monitor[[br]] |
| 354 | OS カーネルを修正することなく仮想マシンモニタ上でのプロセス生成とアプリケーション実行を検出する手法[[br]] |
| 355 | ([/~sawazaki/ 澤崎 純也]) |
| 356 | * Array Bounds Inference with a Model Checker for a Dependent Type System[[br]] |
| 357 | モデル検査器を用いた依存型システムのための配列境界の推論[[br]] |
| 358 | ([/~nojiri/ 野尻 隆宏]) |
| 359 | * Constraint Solver for Bounded Integer with Correctness Proof[[br]] |
| 360 | 正しさの証明が与えられた有限範囲の整数に対する制約解消器[[br]] |
| 361 | ([/~murata/ 村田 雅之]) |
| 362 | |
| 363 | == 2006 == |
| 364 | * Typed Assembly Language for Conditional Execution[[br]] |
| 365 | 条件実行に対応する型付きアセンブリ言語[[br]] |
| 366 | ([/~iizuka/ 飯塚 大輔]) |
| 367 | * Compiling C Programs into a Type-safe Assembly Language[[br]] |
| 368 | C 言語から型安全なアセンブリ言語へのコンパイル[[br]] |
| 369 | ([/~kosakai/ 小酒井 隆広]) |
| 370 | * Examination of Application of Model Checking for Automatic Verification of Safety of Memory Operation[[br]] |
| 371 | モデル検査の応用によるメモリ操作の安全性を自動検証する手法に関する研究[[br]] |
| 372 | ([/~sgotou/ 後藤 哲志]) |
| 373 | |
| 374 | == 2005 == |
| 375 | * A Library for Replay-based Recovery[[br]] |
| 376 | リプレイに基づくリカバリのためのライブラリ[[br]] |
| 377 | ([/~osumi/ 大住 裕之]) |
| 378 | * Implementation of Programming Language based on Alias Types and Measurement of Its Ability[[br]] |
| 379 | Alias Types に基づくプログラミング言語の実装とその評価[[br]] |
| 380 | ([/~haruki/ 佐藤 春旗]) |
| 381 | * Implementation of Information Flow Analysis using Dynamic Type Checking[[br]] |
| 382 | 動的な型検査を用いた情報流解析の実装[[br]] |
| 383 | ([/~yamashita/ 山下 諒蔵]) |
| 384 | |
| 385 | == 2004 == |
| 386 | * Effective Software Obfuscation by Mixing Instructions and Data[[br]] |
| 387 | 命令とデータの混合による効果的なソフトウェアの難読化[[br]] |
| 388 | ([/~hedkandi/ 佐藤 秀明]) |
| 389 | * Detecting Intrusions on Windows Operating Systems by Monitoring System Services[[br]] |
| 390 | System Service の監視による Windows 用侵入検知システム[[br]] |
| 391 | ([/~disk-ec7/ 島本 大輔]) |
| 392 | * Reliable Peer-to-Peer Framework for Massively Multiplayer Online Games[[br]] |
| 393 | 大規模多人数オンラインゲームのための信頼性のある Peer-to-Peer の枠組み[[br]] |
| 394 | ([/~koyu/ 山崎 孝裕]) |
| 395 | |
| 396 | == 2003 == |
| 397 | * Aspect-Oriented Virtual Machine for Supporting Dynamic Weaving and High-Level Features[[br]] |
| 398 | 高級な言語機能を持ちアスペクトを動的に適用する仮想機械[[br]] |
| 399 | ([/~mame/ 遠藤 侑介]) |
| 400 | * Region Representation Inference for Dynamically-Typed Language[[br]] |
| 401 | 動的型付け言語の為のリージョン表現推論[[br]] |
| 402 | ([/~shinyak/ 川中 真耶]) |
| 403 | * A Toolkit for Developing Extensible and Portable Checkpoint Systems[[br]] |
| 404 | 拡張性と互換性を持つチェックポイントシステムの構築を容易にする方法[[br]] |
| 405 | ([/~y_yoko/ 横山 陽介]) |
| 406 | * Design and Implementation of a Self-Repairing Reference Monitor[[br]] |
| 407 | 自己修復型リファレンスモニタの設計と実装[[br]] |
| 408 | ([/~tossy-2/ 吉野 寿宏]) |
| 409 | |
| 410 | == 2002 == |
| 411 | * The Interface Definition Language for Fail-Safe C[[br]] |
| 412 | Fail-Safe Cのためのインターフェイス定義言語[[br]] |
| 413 | ([/~kohei/ 末永 幸平]) |
| 414 | * Cps Conversion of Procedural Language with Exception Handling and Its Formalization[[br]] |
| 415 | 例外処理機構を備えた手続き型言語のCPS変換とその定式化[[br]] |
| 416 | ([/~oyuichi/ 大根田 裕一]) |
| 417 | * Packrat Parsing with State[[br]] |
| 418 | 状態つきPackrat Parsing[[br]] |
| 419 | ([/~suzu/ 鈴木 拓男]) |
| 420 | * Translating Security Protocols from Informal Notation into Spi Calculus[[br]] |
| 421 | セキュリティプロトコルの略式表現からspi calculusへの変換[[br]] |
| 422 | ([/~hideaki/ 立沢 秀晃]) |
| 423 | |
| 424 | == 2001 == |
| 425 | * Parallelizing Programs Using Access Traces[[br]] |
| 426 | アクセス履歴によるプログラムの並列化[[br]] |
| 427 | ([/~vietha/ グェン ヴェト ハ]) |
| 428 | * A Scenario Description Language Based on a State Transition Model and its Automatic Consistency Checking[[br]] |
| 429 | 状態遷移モデルに基づいたシナリオ記述言語の設計と同言語上での自動検証[[br]] |
| 430 | ([/~mass/ 清木 昌]) |
| 431 | * Scheme-to-Java Translator with Soft Typing[[br]] |
| 432 | Soft Typingを利用したScheme-to-Javaトランスレータ[[br]] |
| 433 | ([/~ganat/ 永田 章人]) |
| 434 | * An Approach to Separate compilation of C++ Templates[[br]] |
| 435 | C++のテンプレート関数を分割コンパイル可能にするためのアプローチ[[br]] |
| 436 | ([/~tak/ 増山 隆]) |
| 437 | |
| 438 | == 2000 == |
| 439 | * A New Type System for JVM Lock Primitive[[br]] |
| 440 | JVMにおけるロックの整合性検証のための 新しい型システム[[br]] |
| 441 | ([/~iwama/ 岩間 太]) |
| 442 | * Virtual Private Grid (VPG): A Command Shell for Utilizing Remote Machines Efficiently[[br]] |
| 443 | Virtual Private Grid (VPG): 遠隔計算機を効率的に利用するシェル[[br]] |
| 444 | ([/~kaneda/ 金田 憲二]) |
| 445 | * Java Bytecode Transformation for Fine Grain CPU Resource Management[[br]] |
| 446 | Javaバイトコード変換による細粒度CPU資源管理[[br]] |
| 447 | ([/~hayami/ 速水 雄太]) |
| 448 | * Design and Implementation of Storage Server for Mobile Clients[[br]] |
| 449 | モバイルクライアントのためのストレージサーバーのデザインと実装[[br]] |
| 450 | ([/~tatsuo/ 水上 達夫]) |
| 451 | |
| 452 | == 1999 == |
| 453 | * Single Memory Image for Heterogeneous Distributed Computing: Its Implementation and Evaluation[[br]] |
| 454 | 異種計算機間の分散計算のための単一メモリイメージの実現と性能評価[[br]] |
| 455 | ([/~yohei/ 上田 陽平]) |
| 456 | * Java Bytecode Translation for Transparent Migration[[br]] |
| 457 | 透明なマイグレーションのためのJavaバイトコード変換[[br]] |
| 458 | ([/~takas/ 坂本 崇裕]) |
| 459 | * An Implementation of Distributed Cyclic Garbage Collection for Java RMI[[br]] |
| 460 | Java RMIでの分散環状ゴミ集めの実装[[br]] |
| 461 | ([/~hamanaka/ 浜中 信行]) |
| 462 | * Automatic Library Translation for Host-local Resources in Languages with Object Mobility[[br]] |
| 463 | オブジェクト移動性を持った言語におけるホストローカルなリソースのための自動ライブラリ変換[[br]] |
| 464 | ([/~yamauchi/ 山内 裕史]) |
| 465 | |
| 466 | == 1998 == |
| 467 | * Extending Java Virtual Machine to Improve Performance of Dynamically-Typed Languages[[br]] |
| 468 | 動的型付き言語の効率向上のためのJava仮想マシンの拡張[[br]] |
| 469 | ([/~oiwa/ 大岩 寛]) |
| 470 | * Adding Fine-Grain Threading to Python Using !StackThreads/MP[[br]] |
| 471 | !StackThreads/MPによるPythonへの細粒度スレッドの追加[[br]] |
| 472 | ([/~shuhei/ 大角 周平]) |
| 473 | * Copying Garbage Collection in the Presence of Uncertain Pointers[[br]] |
| 474 | 不確かなポインタの存在下でのコピーイングガーベジコレクション[[br]] |
| 475 | ([/~y-tanaka/ 田中 義純]) |
| 476 | |
| 477 | == 1997 == |
| 478 | * Implementation and Evaluation of Concurrent Object in Schematic[[br]] |
| 479 | Schematicにおける並列オブジェクトの実装と評価[[br]] |
| 480 | ([/~sumio/ 外山 純生]) |
| 481 | * Implementation of Mobile Scheme[[br]] |
| 482 | モーバイルSchemeの実装[[br]] |
| 483 | ([/~nayuta/ 多賀 奈由太]) |
| 484 | |
| 485 | == 1996 == |
| 486 | * Improving execution efficiency of Tree-Structure-Based Parallel Programs[[br]] |
| 487 | 木構造を扱う並列プログラムの効率化[[br]] |
| 488 | ([/~gotoh/ 後藤 礼史]) |
| 489 | * Mobile Emacs Lisp: An Extension to Emacs Lisp for Efficient Editing on Wide-Area Network[[br]] |
| 490 | Mobile Emacs Lisp: 広域ネットワーク上の効率的な編集作業のためのEmacs Lispの拡張[[br]] |
| 491 | ([/~eye/ 人見 俊太郎]) |
| 492 | * A Research on Execution Performance of Parallel Programs on a Workstation Cluster[[br]] |
| 493 | 並列プログラムのワークステーションクラスタ上における実行効率の研究[[br]] |
| 494 | ([/~ymmt/ 山本 泰宇]) |
| 495 | |
| 496 | == 1995 == |
| 497 | * A Methodology for Constructing a Portable Garbage Collector on Parallel Machines[[br]] |
| 498 | 並列マシンにおけるPortableなGarbage Collectorの実装法[[br]] |
| 499 | ([/~endo/ 遠藤 敏夫]) |
| 500 | * A General Framework for Compiling Fine-grain Threads in Concurrent Object-Oriented Languages[[br]] |
| 501 | 並列オブジェクト指向言語における細粒度スレッドコンパイルのための一般的枠組み[[br]] |
| 502 | ([/~oyama/ 大山 恵弘]) |
| 503 | |
| 504 | == 1994 == |
| 505 | * Study on Mechanisms For Multi-Object Synchronization and Their Implementation[[br]] |
| 506 | オブジェクト間同期機構とその実装に関する研究[[br]] |
| 507 | ([/~igarashi/ 五十嵐 淳]) |
| 508 | * Static Analysis on Communication for Asynchronous Concurrent Programming Languages[[br]] |
| 509 | 非同期並行言語における通信の静的解析[[br]] |
| 510 | (中出 元樹) |
| 511 | * Control Constructs in Concurrent Object-Oriented Languages[[br]] |
| 512 | 並列オブジェクト指向言語における制御構[[br]] |
| 513 | ([/~haruo/ 細谷 晴夫]) |
| 514 | * Dialogue processing with Mental World Structure[[br]] |
| 515 | 心的世界構造を用いた対話処理[[br]] |
| 516 | (BEKKI Daisuke) |
| 517 | * Construction of a Japanese-text Generation System With Semantic-Head-Driven Generation[[br]] |
| 518 | 意味主辞駆動生成アルゴリズムを用いた日本語文生成システムの構築[[br]] |
| 519 | ([/~moriwaki/table.html 森脇 敏]) |
| 520 | * Automatic Acquisition of The Cost of Connectivity in A Japanese Morphological Analyzer[[br]] |
| 521 | 日本語形態素解析システムにおける連接コストの自動獲得[[br]] |
| 522 | ([http://www.is.s.u-tokyo.ac.jp/~nova/ 野畑 周]) |
| 523 | |
| 524 | == 1993 == |
| 525 | * Type Inference for Polymorphic Reference with Subtyping[[br]] |
| 526 | 部分型の入った多相参照のための型推論[[br]] |
| 527 | ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘]) |
| 528 | * A study on an implemenation of HACL compiler on multicomputers[[br]] |
| 529 | HACLコンパイラのマルチコンピュータ上での実装技術の研究[[br]] |
| 530 | ([/~shimizu/home.html SHIMIZU Toshihiro]) |
| 531 | |
| 532 | == 1992 == |
| 533 | * An Efficient Implementation of a Parallel Constraint Logic Programming Language and its Applications[[br]] |
| 534 | 並列制約論理型言語の効率的な実装と応用[[br]] |
| 535 | (今野 和浩) |
| 536 | * An Algorithm of Distributed Garbage Collections on a Multicomputer and its Performance Evaluation[[br]] |
| 537 | 並列計算機上の分散ガーベージ・コレクションのアルゴリズムとその性能評価[[br]] |
| 538 | ([/~kamada/home.html Tomio Kamada]) |
| 539 | * A Constraint Solving Method for Real-Time Interaction in User Interfaces[[br]] |
| 540 | ユーザインターフェースで実時間のインタラクションを実現する制約解消法[[br]] |
| 541 | ([/~detail/index-j.html 細部 博史]) |
| 542 | * An Object-Oriented Approach to Parsing for Unification-based Grammars[[br]] |
| 543 | オブジェクト指向方式による単一化文化を用いたパージング[[br]] |
| 544 | (Kengpang Lee) |
| 545 | * Construction of Type Inference Systems for Concurrent Object-Oriented Languages[[br]] |
| 546 | 並列オブジェクト指向言語のための型推論体系の構築[[br]] |
| 547 | ([/~cocoa/home.html 関口 龍郎]) |
| 548 | |
| 549 | == 1991 == |
| 550 | * Inductive Inference under Algebraic Specifications[[br]] |
| 551 | 代数的仕様の下での帰納的推論について[[br]] |
| 552 | ([/~dai/home.html 鈴木 大介]) |
| 553 | * A Study of an Implementation of an Object-Oriented Concurrent |
| 554 | Language on Distributed Memory Parallel Architecture[[br]] |
| 555 | マルチコンピュータ上の並列オブジェクト指向言語の高効率な実装に関する研究[[br]] |
| 556 | ([/~tau/home.html 田浦 健次朗]) |
| 557 | * Acquiring Discourse Domain Knowledge with a Dialog System[[br]] |
| 558 | 対話領域に関する知識の対話システムによる獲得[[br]] |
| 559 | (鳥澤 健太郎) |
| 560 | * The Implementation of Constraint Logic Programming on Parallel Computer[[br]] |
| 561 | 制約論理型言語の並列計算機上への実装[[br]] |
| 562 | (長塚 雅明) |
| 563 | * Study on Implementation of an Object-Oriented Concurrent Reflective Language[[br]] |
| 564 | 自己反映計算の機能を持つ並列オブジェクト指向言語の実装に関する研究[[br]] |
| 565 | ([/~masuhara/home.html 増原 英彦]) |
| 566 | * Programming by Visual Example[[br]] |
| 567 | 視覚的例によるプログラミング[[br]] |
| 568 | (宮下 健) |
| 569 | |
| 570 | == 1990 == |
| 571 | * Control of Parallel Computation in Constraint Logic Programming[[br]] |
| 572 | 制約論理プログラムにおける並列計算の制御[[br]] |
| 573 | ([/~koba/home-j.html 小林 直樹]) |
| 574 | * User Interface on a Model of Bi-directional Translation Between Picture and Data[[br]] |
| 575 | 絵-データ間の双方向変換に関するモデルに基づいたユーザインターフェース[[br]] |
| 576 | ([/~takahasi/home.html 高橋 伸]) |
| 577 | * Dynamic and Reflective Scheduling in Concurrent Object-Oriented Programming Language[[br]] |
| 578 | 並列オブジェクト指向言語における動的で自己反映的なスケジューリング[[br]] |
| 579 | (Yoshisato Takeda) |
| 580 | * A Distributed Problem Solving Platform with Distributed Blackboard Architecture[[br]] |
| 581 | 分散ブラックボード・アーキテクチャに基づいた分散問題解決のプラットフォーム[[br]] |
| 582 | (Tsuyoshi Hayashi) |
| 583 | * Garbage Collection in A Concurrent Architecture:[[br]] |
| 584 | 並列アーキテクチャ上の Garbage Collection[[br]] |
| 585 | ([/~furuso/home.html 古荘 進一]) |
| 586 | * Domain Independent Dialog System[[br]] |
| 587 | 獲得すべきデータの仕様を独立させた対話システム[[br]] |
| 588 | ([/~mya-u/home.html 宮田 高志]) |
| 589 | |
| 590 | == 1989 == |
| 591 | * Multilisp Implementation[[br]] |
| 592 | マルチリスプの実現[[br]] |
| 593 | ([http://www.is.s.u-tokyo.ac.jp/~asai/ 浅井 健一]) |
| 594 | * Fast Implementation of Production Systems[[br]] |
| 595 | プロダクションシステムの高速化[[br]] |
| 596 | (Hideaki Kuwada) |
| 597 | * FDS-A Flexible Dialog System[[br]] |
| 598 | 柔軟な対話システムFDS[[br]] |
| 599 | (村田 剛志) |
| 600 | * A Study of Hopfield Network[[br]] |
| 601 | Hopfield Network に関する研究[[br]] |
| 602 | (Susumu Hasegawa) |