タグ ラムダ計算
人気順 5 users 10 users 50 users 100 users 1000 users(1 - 2 / 2件)
作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう - きしだのはてな
さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む
作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう-きしだのはてな
さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む
(1 - 2 / 2件)