404 NOT FOUND - MANTANWEB（まんたんウェブ）
404 NOT FOUND 指定されたページかファイルが見つかりません。 指定されたページかファイルは削除されたか、アドレスが変更された可能性があります。 MANTANWEBトップページへ戻る
http://pasberth.github.io/slide/kansu-lt/
GHCJS 自己紹介 Twitter: @pasberth 興味: プログラミング言語(関数型), 型システム Haskell が好き GHCJSとは HaskellをJavaScriptにコンパイルできる GHCの機能(言語拡張,ライブラリ,etc…)がなんでも使える ライバル: Haste, Js_of_ocaml, Scala.js … 導入編 Installation方法は2つあります: ソースをビルドする方法 バイナリをダウンロードする方法 ソースをビルドする ghcjs/ghcjs というリポジトリの README にソースコードから ビルドする手順がかかれています。 わりとイバラの道です。覚悟を決めてインストール に望みましょう。 バイナリをダウンロードする ghcjs/ghcjs-build というリポジトリに Vagrantfile があります。 環境によってはハマること
３分でわかるクトゥルー神話ネタの解説 - クトゥルー／クトゥルフ神話作品発掘記
青字を読み飛ばせば……ですが、多分３分で全部読めます。 ■ ふんぐるい むぐるうなふ Ph’nglui mglw’nafh Cthulhu R’lyeh wgah’nagl fhtagn （ふんぐるい むぐるうなふ くとぅるう るるいえ うがふなぐる ふたぐん） クトゥルフ神話小説によく登場する句。 「In his house at R'lyeh dead Cthulhu waits dreaming.」 （死せるクトゥルー、ルルイエの館にて、夢見るままに待ちいたり） ──と言う意味。 このネタはとりあえず唱えるのが主目的。意味がない場合がおおいです。 後述する「いあ！ いあ！」に通じるものがあります。 ■ いあ いあ ○○○○！ クトゥルフ神話世界で、神を讃える時に使われる言葉。 「いあ！ いあ！ ○○○○！」と「いあ」を二度唱えた後、崇拝するものの名前を入れる。（※１） ※１ 定番に「
関数型言語を学ぶことは実務でどう役に立ったか - Rejasupoem
関数型LT大会で「実社会の問題を解決する関数型言語」というタイトルで発表しました。 というのも、会社で「すごいHaskellたのしく学ぼう！」の輪読会をしていて、最初こそ10人以上の人が参加していたのだけど、章が進むごとにどんどん人が離脱していって、主催者としてはなんとか完走したいという思いがあったので、調べたのですが、 ヒアリングから、この二つの線がクロスしたときに、人は離脱するという知見が得られました。 ということで、Haskellに対して実用性を見出したいと思いながら半年を過ごしたのですが、実用的 = 仕事で使うということであれば、今の現場でHaskellに移行するのは現実的ではありません。 でも、Haskellには関数型言語のエッセンスが詰まっていて学びが多かったと思っていて、直接的には使っていないけど、概念として役立つことがあると思ったので、それを伝えるために今回文章に起こしまし
論文紹介: Unboxed objects and polymorphic typing
論文紹介: Unboxed objects and polymorphic typing Presentation Transcript 関数型 LT 大会 Unboxed objects and polymorphic typing nomaddo@no maddo 東北大学大学院 情報科学研究科 2014 年 5 月 11 日 Who am I? @no maddo OCaml, SML#, Emacs Haskell は分かりません…。 • 東北大学の大学院生 (M1) • 論理学とか型理論とかコンパイラとか勉強してます • 趣味は list-package で拡張プラグインのリストを眺めること • 艦これでなら山城・扶桑が好きです • インターン先を探しています！ 2 / 37 東北大ってどんなとこ？ 3 / 37 東北大ってどんなとこ？ A. 山です 3 / 37 東北大ってどん
同僚から自分の悪口のチャットを誤爆されたので『嫌われる勇気』読みました。 - レールを外れてもまだ生きる - コロポンのブログ
いやーしかし、こんなことってあるんですね。 わたくし、派遣OL1周年を迎えましたコロポンと申します。 私自身、同僚から嫌われているのは重々承知しておりました。 いつも私以外の同僚達でチャットしてるのを、打鍵音が交互に聞こえることで把握できました。 でもその内容が別に私関係ないことしれないし、私は仕事以外のチャットは来ても反応鈍いから、私を抜いて世間話でもしてるのかなーまあいっか、くらいに思ってました。 でも違いました。 誤爆は突然に。 「コロポンさん、最低限の礼儀とマナーくらい守れないのかな」 的な内容のチャットが送られてきました。 そしてその書き込みを私が確認した瞬間、即チャットルームから強制退席させられたけど、ログは残ってるのよね。 強制退席ってあたりがリアリティが半端無いっす。 思い当たる節は、ないわけではない。 その人10歳くらい上なんだけど、彼女はチャット文化無視して、世間話を普
【衝撃事件の核心】生徒に破られた高校サーバー、流出したクラス替え案・９８０人分の成績…脆すぎる「学校のＩＴセキュリティ」と「生徒のモラル」（1/4ページ） - MSN産経west
教師のパソコンから新年度のクラス編成案や入試成績が抜き取られ、一部がスマホを介して生徒たちに流された。“犯人”の男子生徒は「軽い気持ちでやった」といい、学校での情報管理やモラル指導のあり方が問われる事態に 新年度のクラス表が春休み中に生徒たちの間に出回っていた－。滋賀県内にある県立高校の男子生徒が今年３月、教諭のパソコンのユーザーＩＤとパスワードを盗み見して学校のサーバーに不正アクセスし、クラス編成案や休み明けのテスト問題、入試や定期試験など生徒９８０人分の成績を入手。このうち、クラス編成案は無料通信アプリ「ＬＩＮＥ（ライン）」で同級生ら３５人に送信した結果、情報があっという間に３００人以上の手元へ拡散した。学校現場にパソコンが普及する中、個人情報に対する学校の管理体制や生徒たちの「情報モラル」が問われる事態になった。（桑波田仰太）付箋に書かれた教諭のパスワード 卒業式を前日に控えた２月２
新人プログラマに知っておいてもらいたい人類がオブジェクト指向を手に入れるまでの軌跡 - Qiita
あわせて読みたい 新人プログラマに知ってもらいたいメソッドを読みやすく維持するいくつかの原則 ペアプログラミングして気がついた新人プログラマの成長を阻害する悪習 「オブジェクト指向プログラミング」と「関数型プログラミング」のたった一つのシンプルな違い あきらめるにはまだ早い！ソースコードの品質向上に効果的なアプローチ 2015年に備えて知っておきたいリアクティブアーキテクチャの潮流 この記事について この記事は新人向けの研修内容を再編集してお送りいたします。 ここで述べる内容はどのようにして現在のプログラミングスタイルが生まれてきたかを理解することで、よりよいプログラムを書くためのもので、正確なソフトウェア工学の歴史を学ぶためのものではありません。正確な歴史を把握したい場合は、原典をあたるようにしてください。 また、想定している読者は「よくあるオブジェクト指向プログラミングの学習」を既にし
残業や休日出勤は「評価に影響せず」は、ミスリーディングな報道(上西充子) - 個人 - Yahoo!ニュース
読売新聞が内閣府の調査結果を伝えた。【残業や休日出勤「評価に影響せず」企業の７４％】というタイトルだが、実際は「時間内に仕事を終えて帰宅」することをどう評価するかが問われており、この報じ方は実にミスリーディングだ。 読売新聞の記事の内容記事の内容は以下の通りだ。 【残業や休日出勤「評価に影響せず」企業の７４％】 内閣府は１３日、社員が残業や休日出勤をしなくても、「人事評価で考慮しない」と答えた企業が７４％に上るとの調査結果を発表した。昨年１１月公表された個人対象の調査では、「残業は上司から好評価を受ける」と考える人ほど労働時間が長いとの結果が出ており、社員が思うほどには、時間外労働が会社の人事評価に影響していない実態が浮かび上がった。 残業や休日出勤なしについて、「プラスに評価している」と回答した企業は１６％、逆に「マイナスに評価している」は６％にとどまった。個人対象の調査で は、残業が上
gcc-4.8.1 をビルドするだけの動画
誰得動画その2。起動画面が好きとか、無機質なコンソールに流れる文字が好きなどという方向け。BGMはありません。その他投稿作品マイリス：mylist/35380224ビルド時間が長くなってしまったのできっと画質悪いです。ごめんなさい。一つ前のllvm+clang よりは、コンソールに流れる量が多いので、見てて楽しいかも。素材利用（する人いるのかな）はご自由に。【追記】環境書き忘れた環境：Windows8 Pro with Hyper-V 上に構築したCentOS 6.4 32bit (CentOS-6.4-i386-minimal.isoからインストール)に、TeraTermからSSH接続。それをアマレココでキャプチャ。※前回の動画(sm21029118)と環境はほぼ同じです。tar.gzとかyum経由で追加した物はちょっとありますが。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Gentoo Linux Documentation -- Gentoo Linux Documentation Quiz
青森県警:紙の拳銃「作り方」ＨＰ削除 ネットで話題に - 毎日新聞
PureScript 関数型AltJSの決定版！？
OculusRiftをUnityで使うTips的なまとめ