コンピュータサイエンス基礎http://www.kurims.kyoto-u.ac.jp/~cs/lecturesj.html これは参考 http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H28-hasegawa.pdfhttp://www.kurims.kyoto-u.ac.jp/~terui/cs2018.pdf