Scalaで型レベルプロ グラミング 水島 宏太(みずしま) はじめに 自己紹介 水島 宏太(みずしま こうた) id:kmizushima 筑波大学大学院 CS専攻 D2 好きな言語：Scala 型レベルプログラミング素人です ので、難しい話はできません 細かいところの説明はすっ飛ばしてます 発表途中でも遠慮なく質問してください 発表の構成 型レベルプログラミングって？ ScalaとScalaの型システムの概要 Scalaで型レベルプログラミング 型レベル自然数と真理値の表現 型から値へ 型レベルで計算する方法 MetaScala まとめ そもそも型レベルプログラミングっ て？ 普通のプログラム 値を受け取って、計算して値を返す 型レベルプログラム 型を受け取って、計算して型を返す何か？ ポイントは二つ どうやって型で値を表現するか 型の上での計算方法 条件分岐 ループ（再帰） Sca
Paul Graham / 青木靖 訳 2008年10月 経済状況があまりにひどくて、専門家の中には70年代半ばのように悪い状況にあるのではないかと恐れている人もいるようだ。 そう、MicrosoftやAppleが創業された頃のように。 これらの例が示すのは、景気後退というのはスタートアップを始めるのにそう悪い時期ではないかもしれないということだ。格別いい時期であると主張する気もないが。真実はむしろつまらないものだ。経済状況はいずれにせよ大して問題ではないのだ。 我々が非常にたくさんのスタートアップを立ち上げる中で学んだことは、成功か失敗かを決めるのは創業者の質だということだった。確かに経済の影響も受けるが、成功するかを占う指標としては、創業者に比べたら誤差の範囲だ。 それはつまり、創業者が誰なのかということが重要なのであって、いつやるかは問題ではないということだ。創業者がしかるべき人間で
今回は、第20回の「Webエンジニア武勇伝」に登場いただいた日本Rubyの会会長・ツインスパークシニアプログラマ高橋征義 氏のご紹介で、ogijunさんこと、コントロールプラス株式会社の荻野淳也さんにお話をお聞きしました。荻野さんはRubyをはじめ、あらゆるカンファレンスに足を運び、自らの師やコミュニティの繋がりを作られてきました。そんなとっても熱くてとってもクレバーなogijunさんの生きざまに魅せられたインタビューを存分にお楽しみください。熱いインタビューは150分にも及ぶロングインタビューになりました。前編後編に分けてお届けします。取材は、デザイナーズマンションを利用したオフィスをお借りしました。 荻野淳也 氏 ◆ 1975年生まれ。新潟県糸魚川市出身。 ◆ 東京都立大学在学中からプログラミングのアルバイトをはじめ、フリーランス、起業なども経験しつつ数社を経た末、2007年8月よりコ
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
この前紹介した 駄文 - 4 月からプログラマになったあなたへ - IT戦記 スタートアップ研修記 Dino という会社の新人研修ですが、すごいです。 何がすごいか 講義を動画で公開しているのです。 zoome.jp そして、新人はプログラミング未経験者 新人の方はプログラミング経験のない方なので、当然以下のような質問が飛びます。 IP ってなんですか？ インタフェースってなんですか？ ディレクトリってなんですか？ などです。 この質問に対して、なるべく正しく、そして、イメージが湧くような説明をするってすごく難しいと思うんです。 逆に、生半可な知識で説明すると誤解を与えてしまうことになります。 でも、この動画の講師はすごく丁寧な説明で言い切るところは言い切って的確に教えているなあと思いました。 すごいです。 講師、新人両方に良い さっきも言ったように、基本的な説明ってすごく難しくて、すぐに
セントラル 全国融資開始 セントラル は四国の愛媛県にある中堅消費者金融会社です。 もともとは愛媛県に有人店舗を２店舗、自動契約機「セントラルくん」を愛媛県、香川県、高知県、岡山県と中国、四国地方を中心に12店舗も展開している、どちらかというと地元密着型の企業でした。 しかし、そのセントラルが平成26年12月より、WEBサイトをリニューアルして開始した振込キャッシングが好調で、今、注目されています。（もちろん審査対象エリアも全国に広がりました。） セントラル 愛媛・松山ではＣＭでもお馴染み セントラルは地元では有名な業者ですが、まだまだ口コミ情報も少なく、借り入れを検討している方にとっては情報不足で困ることも多いと思われます。 当サイトでは、今後、このセントラルについて、どこよりも詳しく徹底解説してゆく予定です。 キャッシングに役立つ情報満載ですので、是非参考にして下さい。 ※安心・安全な
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
