Slide 34
Slide 34 text
参考文献
● 柳川 範之、為末 大(2022). Unlearn(アンラーン) 人生100年時代の新しい「学び」. 日経BP.
● 浅井 健一(2007). プログラミングの基礎. サイエンス社.
● Miran Lipovača著、田中英行/村主崇行 共訳(2012).すごいHaskellたのしく学ぼう!. オーム社.
● 大川徳之(2018).関数プログラミング実践入門.技術評論社.
● Benjamin C. Pierce著、住井 英二郎 監訳、遠藤 侑介、酒井 政裕、今井 敬吾、黒木 裕介、今井 宜洋、才川隆文、今井 健男 訳(2013). 型システム入門. オーム社.
● Paul Chiusano、Rúnar Bjarnason 著、株式会社クイープ 訳(2015). Scala関数型デザイン&プログラミング. インプレス.
● Noel Welsh、Dave Gurnell(2020). Scala with Cats. Underscore Consulting LLP.
● RichardBird 著、山下伸夫 訳(2017). Haskellによる関数プログラミングの思考法. ドワンゴ.
● Chris Okasaki 著、稲葉一浩、遠藤侑介 訳(2017). 純粋関数型データ構造. ドワンゴ.
● 原啓介(2020). 集合・位相・圏. 講談社.
● 鹿島 亮(2009).数理論理学. 朝倉書店.
● David I. Spivak 著、川辺 治之 訳(2021). みんなの圏論. 共立出版.
● Hutton, Graham & Meijer, Erik. (1996). Monadic Parser Combinators.Technical report NOTTCS-TR-96-4. Department of Computer Science, University of Nottingham.
● Graham Hutton. (1999). A tutorial on the universality and expressiveness of fold. Journal of Functional Programming, 9(4), 355–372.
● Philip Wadler. (1992). The essence of functional programming. In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '92).
Association for Computing Machinery, New York, NY, USA, 1–14.
● Meijer, E., Fokkinga, M., Paterson, R. (1991). Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (eds) Functional Programming Languages and
Computer Architecture. FPCA 1991. Lecture Notes in Computer Science, vol 523. Springer, Berlin, Heidelberg.
● 浅井 健一(2011). shift/reset プログラミング入門.
● 亀山幸義、海野広志(2017). 離散構造. https://www.cs.tsukuba.ac.jp/~kam/lecture/discrete2017/ (2023年アクセス)
● 住井 英二郎(2005). ラムダ計算入門. https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf(2023年アクセス)
● 亀山幸義(2013). ソフトウェアサイエンス実験 関数プログラミング. https://www.logic.cs.tsukuba.ac.jp/jikken/(2023年アクセス)
34