10年間使ってみて見えたHaskellの闇と光 - Qiita
はじめに わたしがHaskellを使い始めてもうそろそろ10年目になります。（タイトルは多少サバを読んでいますね） これまで使ってきた感想をまとめます。 Haskellのつらいところ まずは愚痴らせてください。 コンパイルが遅い 依存モジュールはすべてソースコードからビルドする必要があります。（バイナリ形式のモジュールはありません） 最初のビルドに20分くらい待つのはザラです。 複雑な型システムをつかうと型推論や型レベル計算に時間がかかります。 高速なHaskellプログラムを書くためには多くの関数をインライン化する必要があります。最適化ビルドではインライン展開によってコードサイズが大きくなるので時間がかかります。 デバッグが難しい 公式のGHCiデバッガはありますが、今のところIDEから簡単に利用できるわけではないですし、コンパイル済みのライブラリはデバッグできないです。 近年スタックト
人工知能でカンニングを発見 京大などがプログラム開発：朝日新聞デジタル
人工知能を使い、試験で他人の答案をのぞき見するなどのカンニングを検出する技術を、京都大などのグループが開発した。これまで教員の経験に頼っていた手法を取り込み、高い精度で自動的に見つけ出せるという。 日本物理学会の月刊誌電子版で発表した。京都大の大関真之助教（システム構成論）らは、「機械学習」と呼ばれる人工知能の技術を使い、試験を受ける人の過去の成績と、試験問題の難易度、クラスメートの回答の重なり具合などを計算するプログラムを作った。カンニングの疑いが低い人を順番に除外して、疑わざるを得ない人を特定する。 ３０人のクラスで１割が互いに回答をのぞき見するという設定で計算したところ、カンニングした全てのペアを特定できたという。大関さんは「従来の手法は『決めつけ』の恐れがあったが、この技術では回避できる」と話している。（阿部彰芳）
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
“応答なし”や“プログラムを終了します”を再現するだけのツール「Bad Application」NOT SUPPORTED
