「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して
講義ノートの目次へ ラムダ計算は，コンピュータ・サイエンスの重要な１分野。 「λ」を使って各種の関数を記述し，λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて，関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して，挙動や性質を予測することができる。 計算機科学の，より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に，独学でλ計算を勉強するための， 入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから，応用的なものへと並べてある。 質の高いものだけを精選し，わかりづらい資料は除外してある。 ラムダ計算の概要 ラムダ計算の基礎 ラムダ計算の応用 復習のための問題（入門レベル） ※λ計算を利用した計算量・計算複雑性・計算可能
Qiita 上で数式を美しく書けるようになっていた件 (MathJax) - Qiita
美しい数式は目の保養になります Qiita で数式を美しく書けるようになったそうなので、テストを兼ねて投稿。Euler の等式は、 $ e^{i \pi} = -1 $ 。 表示されているかな？ 内部では MathJax というライブラリを使っています（そうですよね？）。MathJax は、LaTeX 記法や MathML で記述された数式をウェブブラウザ上でレンダリングしてくれる JS のライブラリです。MathOverflow や Project Euclid にも採用されるなど、ウェブ上で数式を表示するためのデファクトスタンダードになりつつあり、スポンサーもいっぱいついてます。個人的にも応援しています。美しい数式は、目の保養になります。そのため、僕は Qiita の MathJax 対応を大変嬉しく感じているのです。 みんなどんどん数式を書こう！！！ 以下サンプルテスト ローレンツ方
武井壮「子供の頃から練習しなければ大成しないという風潮は間違い」
2014年01月18日放送のテレビ朝日系の番組『ブラマヨとゆかいな仲間たち アツアツッ！』(毎週金 23:15 - 24:15)にて、スポーツに関するトレーニングや意識の向け方について語っていた。 武井壮の目指せ! 百獣の王 ~人間VS動物のシミュレーションバトル 実践編~ スポーツを始めるのに遅すぎるということはない 武井壮：同い年の小杉さんや、吉田さんにも、ずっと思ってて欲しいんですよ。「俺もまだまだいける」っていうのを。 小杉：うん。 武井壮：ジュニア世代に、「小さい頃からスポーツやってないとダメなんだ」って言う風潮がイヤでしょうがないんですよ。 小杉：ゴルフなんて、小さい頃からやってなアカンとかな。 武井壮：そう。小さい頃からやってるってなんてことは、偶然でしょ？何をやりたいか分からないし、どんな仕事が良いかって、自分の頭で気づきもしない時に、たまたま出会ったものに一生かけるなんて
小説を書く上での架空世界の言語設定について
今回は趣向を変えて、ファンタジー小説を書く上での言語の設定について話したい。 以下は私個人の意見なので、これを読む人が自身が持つ『こうあるべき』という姿については色々なものを読んで自分で考えればいい。 まず言語の設定を特別練りたくない人のために。 いや、まあぶっちゃけなくてもいいんだけど、といってしまえばそれまでである。 大体日本のファンタジーで多いヨーロッパっぽい架空の世界が舞台なら、人名・地名辞典や辞書で英語含めドイツ語・フランス語・ラテン語・ギリシャ語あたりから拾ってくればできてしまうので、別にいちいち細かく設定する必要もないと思う。 ほかもまたしかり。 和風、中華風だろうが、アラブ風だろうが、実際にある言語――この場合古語や中国語、アラビア語――からそのままとってしまえば楽だ。 具体的に公用語が何語で、という設定を作らずにいれば避けられる問題も多い。 異世界転生・召喚ものだと主人公
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
