目次

  1. 予測/例示プログラミング
  2. 講義資料
  3. 計算機操作の問題点
  4. 解決法
  5. 予測/例示システムによる解決
  6. 例からのプログラミング
  7. 予測/例示インタフェース手法の利点
  8. エンドユーザプログラミングへの応用
  9. GUIプログラミングへの応用
  10. 予測/例示インタフェース本
  11. Allen Cypher
  12. 予測/例示インタフェースの分類
  13. 単純/複雑
  14. 帰納的推論
  15. 予測に使用されるデータ
  16. 例示インタフェースでよく使われる手法
  17. 単純な予測インタフェースの実例
  18. ブラウザの履歴を使った補完
  19. UNIXシェル、Emacs
  20. Demo: Emacsの補完、dabbrev
  21. Reactive Keybord [Darrah]
  22. PPM法 [Witten]
  23. テキスト圧縮
  24. ハフマン符号化によるテキスト圧縮
  25. PPM法によるじゃんけん
  26. 操作予測電卓 [Witten]
  27. Dynamic Macro [増井]
  28. Demo: Dynamic Macro
  29. ブラウザ上のDynamic Macro
  30. Dynamic Macroの動作
  31. Eager [Cypher]
  32. Eager
  33. Video: Eager
  34. Smart Make [増井]
  35. Smart Make使用例
  36. 履歴利用電卓 [増井]
  37. 後退キーをUndoに使用
  38. 再計算の状態遷移
  39. 例示インタフェース
  40. 例示インタフェースの実例
  41. Editing by Example [Nix]
  42. TELS [Mo]
  43. 編集前/後のテキスト
  44. プログラム生成
  45. プログラム生成 (Cont'd)
  46. SmallStar [Halbert]
  47. Triggers [Potter]
  48. Video: Triggers
  49. Metamouse [Maulsby]
  50. Metamouse
  51. Chimera [Kurlander]
  52. Mondrian [Lieberman]
  53. Layout By Example [Hudson]
  54. KidSIM [Cypher]
  55. KidSIM
  56. Stagecast
  57. Video: Stagecast
  58. Viscuit [原田]
  59. Video: Viscuit
  60. Agentsheets [Repenning]
  61. GUI操作とそのテキスト表現のギャップ
  62. Agentsheetsの類推
  63. CoScripter [Cypher]
  64. Video: CoScripter
  65. Sikuli
  66. Video: Sikuli
  67. インタラクティブ進化的計算
  68. 遺伝的プログラミングによるグラフ配置 [増井]
  69. 確率的手法
  70. 確率的手法の例
  71. 確率的手法のグラフ描画への適用
  72. 確率的手法の問題点
  73. 例: 三角形の中の適当な位置に別の点を配置
  74. AP+BP+CPを最小化
  75. AP^2+BP^2+CP^2を最小化
  76. 例示によるアプローチ
  77. 手法
  78. システムに与える配置例
  79. 得られた評価関数
  80. 得られた評価関数を使って得られた配置
  81. 進化的アート作品生成
  82. Biomorph
  83. Biomorphの進化過程
  84. 進化結果
  85. Galapagos [Sims]
  86. 進化した「生物」例
  87. sbart [畝見]
  88. 予測/例示インタフェースの現状
  89. 予測/例示インタフェースの要件
  90. Brooksによる批判
  91. Nardiによる批判
  92. 予測/例示インタフェースの展望
  93. 実世界指向インタフェースにおける応用
  94. 実世界でのプログラミング
  95. 検索インタフェースとの融合
  96. POBox [増井]
  97. POBoxの具体的手法
  98. POBox搭載製品
  99. Demo: POBox
  100. HyperSnapping [増井]
  101. Demo: HyperSnapping
  102. まとめ
  103. End