計算可能性
haskellをやっていて、いまさらながらにラムダ関数とか、その背景としての計算可能性とかが気になって来ました。 たとえば、一階述語論理（すべての...、ある...)の決定不能性、とか。 ということで Computability, inference and modeling in probabilistic…
数学・コンピュータ関連の姉妹ブログ『ryamadaのコンピュータ・数学メモ』
京都大学大学院医学研究科ゲノム医学センター統計遺伝学分野のWiki
講義・スライド
医学生物学と数学とプログラミングの三重学習を狙う学習ツール
駆け足で読む○○シリーズ
ぱらぱらめくるシリーズ
カシオの計算機
オンライン整数列大辞典
