【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

多重評価方式を備えた並列Lispシステムに関する研究

この論文をさがす

著者

    • 川本, 真一 カワモト, シンイチ

書誌事項

タイトル

多重評価方式を備えた並列Lispシステムに関する研究

著者名

川本, 真一

著者別名

カワモト, シンイチ

学位授与大学

東北大学

取得学位

博士(情報科学)

学位授与番号

甲第6588号

学位授与年月日

1998-07-09

注記・抄録

博士論文

目次

  1. 目次 / p1 (0004.jp2)
  2. 1 序論 / p1 (0007.jp2)
  3. 1.1 研究の背景と目的 / p1 (0007.jp2)
  4. 1.2 研究の概要 / p7 (0013.jp2)
  5. 1.3 論文の構成 / p8 (0014.jp2)
  6. 2 並列Lisp言語PaiLisp / p10 (0016.jp2)
  7. 2.1 PaiLispの特徴と構文 / p10 (0016.jp2)
  8. 2.2 PaiLisp-Kernel / p12 (0018.jp2)
  9. 2.3 PaiLispの実用的な並列構文とその意味 / p13 (0019.jp2)
  10. 2.4 PaiLispプログラミングとPaiLispプログラム実行上の問題 / p16 (0022.jp2)
  11. 2.5 本章のまとめ / p20 (0026.jp2)
  12. 3 マルチスレッド方式によるPaiLispインタプリタの実現 / p21 (0027.jp2)
  13. 3.1 マルチスレッド方式とPaiLispの処理系 / p21 (0027.jp2)
  14. 3.2 マルチスレッド方式に基づくPaiLisp/MTの基本構成と逐次評価モードの実現 / p30 (0036.jp2)
  15. 3.3 PaiLisp/MTのETC評価モード(PaiLisp/MT(ETC))の実現 / p45 (0051.jp2)
  16. 3.4 PaiLisp/MTのガーベージコレクション / p78 (0084.jp2)
  17. 3.5 マルチスレッド方式に基づくPaiLisp/MT(ETC)インタプリタの簡単な実験評価 / p80 (0086.jp2)
  18. 3.6 本章のまとめ / p82 (0088.jp2)
  19. 4 スティール評価法に基づくPaiLispインタプリタの実現 / p83 (0089.jp2)
  20. 4.1 並列Lisp言語の評価法とプロセス過剰生成問題 / p83 (0089.jp2)
  21. 4.2 スティール評価法の基本的な考え方 / p86 (0092.jp2)
  22. 4.3 PaiLisp/MTインタプリタにおけるスティール評価法の実現 / p89 (0095.jp2)
  23. 4.4 future構文のスティール評価法とLTCによる実現 / p118 (0124.jp2)
  24. 4.5 スティール評価法を備えたPaiLisp/MT(SHE)インタプリタの簡単な実験評価 / p127 (0133.jp2)
  25. 4.6 本章のまとめ / p128 (0134.jp2)
  26. 5 PaiLispのプログラミング環境 / p129 (0135.jp2)
  27. 5.1 PaiLispのプログラミング環境の概要 / p129 (0135.jp2)
  28. 5.2 PaiLisp/MTコンパイラの実現 / p134 (0140.jp2)
  29. 5.3 Process Watcherの設計と試作 / p156 (0162.jp2)
  30. 5.4 Schemeプログラムの制約的自動並列化システムの試作 / p162 (0168.jp2)
  31. 5.5 本章のまとめ / p171 (0177.jp2)
  32. 6 PaiLispシステムの実験評価と応用 / p172 (0178.jp2)
  33. 6.1 PaiLisp/MTインタプリタの評価 / p172 (0178.jp2)
  34. 6.2 PaiLisp/MTコンパイラの評価 / p186 (0192.jp2)
  35. 6.3 PaiLispシステムの応用 / p191 (0197.jp2)
  36. 6.4 本章のまとめ / p202 (0208.jp2)
  37. 7 結言 / p203 (0209.jp2)
  38. 7.1 研究のまとめ / p203 (0209.jp2)
  39. 7.2 今後の課題 / p204 (0210.jp2)
  40. 謝辞 / p208 (0214.jp2)
  41. 参考文献 / p210 (0216.jp2)
  42. 付録 / p215 (0221.jp2)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000170607
  • NII著者ID(NRID)
    • 8000000170881
  • DOI(NDL)
  • NDL書誌ID
    • 000000334921
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ