Dragon Curveの共通再帰構造を探る発表
出典の原文によると、発表ではHaskellと数学的証明で三つの表現に共通する再帰を探る予定。話し手は自身の考え方が数学寄りかもしれないと述べた。
コミュニティの今
開始日は終了日以前にしてください。
このページの記事を絞り込みます。日付は台北時間です。
トピックはキーワードから自動分類しています。検索語と組み合わせて絞り込めます。
別のキーワードを試すか、検索をクリアしてすべてのニュースをご覧ください。
出典の原文によると、発表ではHaskellと数学的証明で三つの表現に共通する再帰を探る予定。話し手は自身の考え方が数学寄りかもしれないと述べた。