目次

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