タグ

ブックマーク / takeichi.ipl-lab.org (2)

  • IPL Publications (in Japanese)

    2010年 Kiminori Matsuzaki, Kento Emoto Lessons from Implementing the BiCGStab Method with SkeTo Library In Proceedings of the Fourth International Workshop on High-level Parallel Programming and Applications (HLPP 2010), pp. 15-24, ACM, 2010. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi Generators-of-generators Library with Optimization Capabilities in Fortress In

  • プログラムの数理 2010 - Lectures of IPL

    お知らせ † 2011/02/07: 期末試験(参考書の持ち込み可) 2011/01/17: 休講 2010/12/20: 中間レポートの提出の締切(課題は第4章のスライドの最後にあります。参考用のHaskellソース:Calendar.hs ) 2010/11/29: 休講 2010/10/04: 講義開始 ↑ 教科書 † 武市正人訳,「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円.(R. Bird and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988) ↑ 講義資料 † 第1章 (2010/10/04) 講義概要・関数プログラミングの基概念 ( intro_101004.pdf ) 第2章 (2010/10/18, 25)

  • 1