タグ

2013年1月11日のブックマーク (4件)

  • neue cc - Haskell用IDE 「Leksah」の紹介と導入方法

    格的にプログラミングを学び始めたのがC# with Visual Studioな私としては、充実した、とまではいかなくてもそれなりに動くIDEがないとシンドい。新しい言語を学ぶときは、まずIDE探しから始めるのだよ、はっはっは。と、全く自慢にならないゆとりっぷりを晒してしまうわけですが、事実辛いものは辛い。そしてHaskell。日語による書籍も4冊出ていて、学習しやすくなったものの実行環境導入の敷居の高さは変わらず。GHCi(インタプリタ)でコマンド打ち込みながらやれって? いやいや、ムリムリ。 初心者にこそ強力なIDEが必要なのだよー、入力補完や背後でのコンパイルによるエラー報告、色分けにオートインデント、デバッガ。これらが素早いトライアンドエラーを可能にし、学習速度を高める。まずはメモ帳で十分、なんていうのは誤り。学習するなら最初からIDE。ということはneue cc - 最もタメ

    mnru
    mnru 2013/01/11
  • 《Gunosy》開発チームが厳選、WEB業界人が読むべき“統計学”の必読書ベスト5 | キャリアハック(CAREER HACK)

    いまWEB業界で最もホットなトレンドの一つである“統計学”。その基を学ぶために読んでおくべき書籍を、注目のニュースキュレーションサービス《Gunosy》の開発チーム(福島さん・吉田さん・関さん)に伺った。 Gunosy開発チームが選ぶ、“統計学”の必読書とは? いま、WEB業界で最もホットなトレンドの一つとなっている“統計学”。その基的な知識を学ぶべく、前回、“超高精度なレコメンド”で話題のニュースキュレーションサービス《Gunosy》を手がける福島良典さん、関喜史さん、吉田宏司さんに、“WEB業界人のための統計学入門”と題して簡単に講義をしていただいた。 ※ 前回の記事はこちら 《Gunosy》開発チームから学ぶ、WEB業界人のための"統計学入門" その内容を踏まえつつも、より体系だててしっかりと“統計学”を押さえるためには、やはり“”を読むのが一番だという。そこで今回は、Guno

    《Gunosy》開発チームが厳選、WEB業界人が読むべき“統計学”の必読書ベスト5 | キャリアハック(CAREER HACK)
    mnru
    mnru 2013/01/11
  • Types and Programming Languages 日本語版 レビュワー募集 - まめめも

    一部では告知済みですが、プログラミング言語の「型」の教科書と言われる Types and Programming Languages (通称 TAPL) の翻訳チームに参加してます。 訳者は、以前ののメンバー (片岡さんいないけど) だけでなく、OCaml nagoya の人たちに参加してもらった上、監訳はなんと住井先生というパーフェクトな布陣です。 既にひと通り日語にはなっているので、もう少し修正して、来月下旬くらいから有志にレビューしてもらいたい感じです。 募集人員:若干名 期間:12月下旬から1-2ヶ月程度(予定) 応募要件:下記 A)、B) の少なくとも一方を満たす方 A) プログラミング言語の基礎理論、特に型システム周辺にある程度習熟している B) 原書 "Types and Programming Languages" を読んだ経験があり、一定以上理解している 応募締切:

    Types and Programming Languages 日本語版 レビュワー募集 - まめめも
    mnru
    mnru 2013/01/11
  • オブジェクト指向プログラミングの教え方? | システム設計日記

    技術者仲間で話していたら、4月入社の新人に、オブジェクト指向プログラミングをどうやって教えたらよいか?、という話になった。 想定している言語は Java。 ■動物・犬・モデルの説明から ■基用語の説明から:「カプセル化とは」「継承とは」... ■サンプルコードから: System.out.println( "hello world" ) ... どのパターンでもうまくいかなかったので、今度の新人研修では何か工夫したいね、という話。 結論から言うと「これだ」というアイデアがでたわけではないが、話の内容は、いろいろ興味深かったのでメモ書き。 Java はオブジェクト指向の言語なの? Java は、ある意味 C言語の仲間。ある側面はほとんど同じ言語。 ・int, long (プリミティブなデータ型) ・配列操作 ・if/for/return ここだけ見れば、C言語のまま。つまり命令型、手続き

    mnru
    mnru 2013/01/11