Haskell の IO モナドと参照透過性の秘密 | Webシステム開発／教育ソリューションのタイムインターメディア
Haskell は純粋であるだとか、参照透過性を満たしているだとかよく話題になる。参照透過性を満たしているということは、同じ関数に同じ引数を渡せば、いつ、誰が簡約しても結果が変わらないということを意味している。いつ簡約しても結果が変わらないということは、並列に簡約しても良いわけだし、逆順に簡約してもいいわけだし、コンパイル時に簡約したっていいわけだ。じゃあ、以下のコードが、常に HELLOWORLD を出力し、 WORLDHELLO となることはない理由は何なのか？ putStr "WORLD" は putStr "HELLO" よりも先に簡約したって良いのでは？ 実際のところ、「IO モナドってのは特別なんだ」とかそういう理解であっても、とりあえずモノを作るにはそんなに困らない。だいたいそう動くし、そういうもんだと思っていれば十分である。 でも、どういう仕組みなのかやっぱり気になるよね？
Haskell の並列処理と遅延評価の罠 | Webシステム開発／教育ソリューションのタイムインターメディア
少し前までは Haskell はインストールが非常に手間がかかる上に、ライブラリ類のバージョン整合性をとるのが非常に困難なのが大きな欠点だったのだが、 Stack なるビルドツールが現れてからはその点が一気に解消されて大変便利になった。コンパイル時に様々な問題を一気に洗い出してくれる Haskell は、書いている自分でも驚くほど正しく動くし、変更にも強い。言語の選択はもちろん適材適所なので一概には言えないが、堅牢なプログラムを素早く書くという観点ではお勧めできる言語だ。 しかし一方で、Haskell で書かれたプログラムにはパフォーマンスバグ（時間、空間、あるいはその両方）が含まれていることも多い。ビルドさえできればたいてい「正しく動く」が、意図したパフォーマンスが得られなかったり、余計なメモリを消費し続けたりといったことでは片手落ちである。 今回は、そんななかでも並列プログラミングを行
書評：『ダメな統計学』 悲惨なほど完全なる手引書 | Webシステム開発／教育ソリューションのタイムインターメディア
題名：ダメな統計学 悲惨なほど完全なる手引書 アレックス・ラインハート 著 西原 史暁 訳 A5、185項、本体2200円 2017年1月20日 発行 勁草書房 https://www.statisticsdonewrong.com/ （オリジナルサイト） http://id.fnshr.info/2017/01/20/sdw-trans-publ/ (日本語サイト) 最近、世の中、統計学が流行っているようである。 確かに昔と違って、大量のデータもさくっと処理できるだけの計算機パワーがあり、様々な分析、予想、判断などに実際に利用できるようになった。 そして、ビッグデータ、人工知能などのためには、統計学は当然知っていなければいけない。 ということで、統計学を勉強と思ってではなく、世の中、どう考えてもオカシイ、誤った統計の利用、誤用、乱用、悪用が目に付いていたところでこの本が出版されたので読
データ解析のための統計モデリング入門 一般化線形モデル(GLM) 読書メモ | Webシステム開発／教育ソリューションのタイムインターメディア
このブログ記事は『データ解析のための統計モデリング入門』（久保拓弥 著、岩波書店）という、とても分かりやすい統計モデリングの入門書を、さらに分かりやすくするために読書メモをまとめたものです。 今回は第３章、一般化線形モデル(GLM)についてまとめます。 この章では主にポアソン回帰について解説されています。 ポアソン回帰というのは、ポアソン分布の平均がリンク関数という関数を通してデータと関連するモデルを使った回帰です。 モデルが複雑になったので、この回帰で得られる物が何なのかをグラフに描くコードを用意しました。 コードはRで書きました。 linkFunction <- function(b1, b2) { function(x) { exp(b1 + b2 * x) } } distribution <- function(x, linkFunction) { l <- match.fun(
データ解析のための統計モデリング入門 確率分布と統計モデルの最尤推定 読書メモ | Webシステム開発／教育ソリューションのタイムインターメディア
このブログ記事は『データ解析のための統計モデリング入門』（久保拓弥 著、岩波書店）という、とても分かりやすい統計モデリングの入門書を、さらに分かりやすくするために読書メモをまとめたものです。 今回は第２章、確率分布と統計モデルの最尤推定についてまとめます。 この章では主にポアソン分布と、ポアソン分布のパラメータの最尤推定について解説されています。 ポアソン分布とは、下図のような分布です。 ポアソン分布はパラメータを一つ持っていて、それが決まると分布が決まります。 最尤推定とは、あるデータが得られている時、そのデータが生成される確率が最大になるように、分布のパラメータを選ぶ推定方法です。 データは何でもいいですが、現実の世界で測定された数値です。 その数値をモデルを使って説明しようというのですから、実際に得られているデータに最もよく適合するモデルが欲しいと思うのは当然です。 最もよく適合する
Chainer:簡単な微分をしてみよう | Webシステム開発／教育ソリューションのタイムインターメディア
DLするためには、微分して勾配を求める必要がある。 ということで、まず、簡単な微分をしてみよう。 Chainerを動かすためには、まず最初に色々なものをimportしなければならない。 とりあえず、「おまじない」だと思って、プログラムの最初に書いておこう。 # おまじない import numpy as np import chainer from chainer import cuda, Function, gradient_check, Variable from chainer import optimizers, serializers, utils from chainer import Link, Chain, ChainList import chainer.functions as F import chainer.links as L 微分するためには、まず変数を作らない
Python簡単実験：集合は大きくなっても小さくならない | Webシステム開発／教育ソリューションのタイムインターメディア
Pythonには、数学の集合と同様の動きをする集合(set)が用意されている。 要素の個数に特に制限はなく、要素に順序もない。 もちろん要素の個数が増えれば、そのぶん集合のサイズが増加するはずだが、サイズを調べるとなかなか不思議な増え方をする。 >>> import sys >>> a = set() >>> sys.getsizeof(a) 224 >>> a = {1,2,3} >>> sys.getsizeof(a) 224 >>> a = {0,1,2,3,4,5,6,7,8,9} >>> sys.getsizeof(a) 736 空集合でも224バイトもある。 要素をいくつか追加しても、サイズは変化しない。 でも、あるとき、急にサイズが増えるようなのだ。 集合のサイズの増え方を調べるために、以下の実験をした。 sizeofset(n)は、最初に空集合をつくり、その後集合に数字を１
Python簡単実験:内包で何倍高速になるか | Webシステム開発／教育ソリューションのタイムインターメディア
100以下の偶数の自然数からなる集合 を考えよう。 Pythonではなく、数学的にはどう表現するであろうか。 {2,4,6,8,...100} これでも良いのだが、ちょっと…という部分が気になる。これを、内包表記に書き換えると、 { x | x は自然数で偶数かつx≦100 } と表記できる。 | の左側に 元を書き、| の右側に条件を書く。 上記は数学での内包の説明である。 内包の英語は comprehension で、本来「理解」という意味なのだが、数学用語としては「内包」というのがある。 Pythonの場合、集合だけではなく、リスト、辞書にも使える。 次のコードは、１から1000万までの数をリストに順番に入れる。 a = [] for i in range(1,10000001): a.append(i) これの実行時間を以下のようにして計測した。 >>> import time >
SymPy:再帰的な分数（連分数） | Webシステム開発／教育ソリューションのタイムインターメディア
連分数は数学の中でもとりわけ美しい魅惑的な分野だ。 しかし、分数の計算は面倒というのが小学校以来ある。 それを、SymPyで解決してしまおう。 まず、連分数を最初に示す。 こんな数式を扱いたいのである。 右のpprint(f)のｆは連分数の式で、それをpprint(f)で美しくprintした。 この形の再帰形式になっている分数を連分数という。 b1,b2,…. が全て１の場合を正則というそうだ。 aとｂの数列を与えて連分数を生成する関数は以下のようになる。 分母のAの方が、分子のBより１つだけ長い。 import math from sympy import * def list_to_frac(A,B): expr = 0 zip(A[1:],B) for (a,b) in reversed(list(zip(A[1:],B))): expr = b/(a+expr) return A[
書評：『Pythonからはじめる数学入門』 | Webシステム開発／教育ソリューションのタイムインターメディア
Pythonからはじめる数学入門 Amit Saha 著 黒川 利明 訳 オライリー・ジャパン 2016/5/20 発行 A5, 304ページ ISBN978-487311-768-3 本書は、数学の入門書であり、かつPythonの数学に関連する主要なライブラリの入門書でもある。 というか、今はやりの人工知能、Deep Learning で Pythonがやたらに使われているのだが、Pythonの標準部分しか知らずに、急にPythonで書かれたDeep Learningのプログラムの勉強を始めると、Deep Learning自体を勉強する前に、基本的なことでつまづく可能性があるのだが、この本は、そのあたりのことを一通り教えてくれる。 でも、本書はDeep Learningのために書かれたのではなく、あくまでPythonで数学遊びができるようになるための入門書である。 本書を読む前に、一応P
GNU Octave を横着にビデオ学習 | Webシステム開発／教育ソリューションのタイムインターメディア
人工知能プログラミングでは、大量の数値解析が必要になるので、それをいちいちプログラムしていたら面倒でしかたがないので、何らかのソフトを利用して楽をするわけだが、その中の有力なプログラミング言語としてMATLABがある。でも、これは有料である。 やはり気楽に使うためには、オープンソースであって欲しい。実はMATLABと互換性のある GNU Octave があるので、これを使ってみよう。 インストールは適当にやれば簡単に終わるのだが、プログラミング言語なので、それなりに勉強しないと分からない。 行列の扱いが簡単で、転置行列、行列式、逆行列などすぐにできる。 それだけではなく、3次元表示も可能である。 とりあえず簡単な入門をネットで探していたら、WIKIBOOKSの中に、Octave Programming Tutorialがあった。 どうしても日本語という人には、東海大学稲葉研究室の Octa
とりいそぎhomebrewでDocker for Mac 1.12をインストールする | Webシステム開発／教育ソリューションのタイムインターメディア
すでにhomebrewでDockerをインストールしている場合は以下を実行するとDocker 1.12にバージョンアップする。 brew update brew upgrade [Docker公式ドキュメント](https://docs.docker.com/engine/getstarted/step_one/)を見てもDocker.dmgをダウンロードしてインストールする方法しか書かれていないし、homebrewでインストールしたDockerでdaemonを動かす方法がどうしても分からなかった。 いろいろ検索した結果、以下を発見したのでぜひ共有したい。 brew cask install docker 上記を実行すると/Applications/Docker.appがインストールされ、Docker.appを起動するとdeamonも起動するようになる。もうVirtualBoxは不要なのだ
ズンドコ手続型 Haskell | Webシステム開発／教育ソリューションのタイムインターメディア
巷では「ズンドコキヨシ」というプログラミング課題が流行っているらしい。そりゃなんぞや、というところだが、要点としては《「ズン」「ドコ」のいずれかをランダムで出力し続け、「ズン」「ズン」「ズン」「ズン」「ドコ」の配列が出たら「キ・ヨ・シ！」と出力して終了するプログラムを作成せよ》ということになるだろうか。既に多くの方が挑戦しているようで、以下にまとめられている。 ズンドコキヨシまとめ すっかり波には乗り遅れている感じではあるが、それはともかくとしてもプログラミング課題としてとてもセンスが良い。ざっと思いつくプログラミング上のポイントは 文字列出力乱数利用状態管理繰り返し、およびその中断 あたりだろうか。ツボを押さえたとても良い課題である。 というわけで、是非やってみたい。そう、敢えて、「手続き型」 Haskell で。 ソースコード全体 で、書いてみたのがコレ。 import Control
GHOST 脆弱性は如何様に使うのか | Webシステム開発／教育ソリューションのタイムインターメディア
先日 GHOST と呼ばれる glibc の脆弱性が発表された。なんでも、「リモートから任意のコードを実行できる可能性がある」らしいではないか。しかも様々なプログラムで利用されているライブラリ部分の問題とあって、影響範囲がとても広い。なかなか厄介なことである。 はて、しかし一体全体どうやってリモートから任意のコードを実行しようというのだろう？ 話を聞くに、たかが数バイトの情報を範囲外のメモリに書き込める可能性があるだけだという。実際それだけのことでサーバーの乗っ取りなどできるものなのだろうか。そんなわけで、その疑問に答えるべく、本記事では以下の URL で解説されている実際の攻撃方法を若干端折って紹介してみようと思う。 http://www.openwall.com/lists/oss-security/2015/01/27/9 なお、本記事はこの脆弱性そのものに対する緊急度などについて言
テストコードは、どの程度かけば良いものなの？ | Webシステム開発／教育ソリューションのタイムインターメディア
皆様、Spec(コードベースの単体、機能、結合テスト)書いてますか？ 私はあんまり書いていません。 「テスト書かないとかありえない！」と怒られそうなので一応弁解しておきますが、C0レベルのテストは、そこそこ書いているつもりです。 プロジェクトでカバレッジはXX%以上！(XXの部分は95だったり100!だったりします）という決まりがあるため、書いてます。消極的な理由ですね。 時としてカバレッジを満たすためのテストを書く、という意味の分からない事をしてしまったことは、反省しております。 しかし、C0は所詮C0であり、このレベルのテストをいくら一生懸命書こうが、バグがでるときはでるものなのです。 だからといってC1、C2、またはそれ以上を満たすようなテストを一生懸命かけばバグが無くなるか？という話でもありませんが、バグ発生率が少しは下がるかと思います。 さて、最近お固い業務システムで、そこそこ致
Railsプロジェクトの初期開発フェーズでのDBスキーマ管理を見直す | Webシステム開発／教育ソリューションのタイムインターメディア
DBのスキーマ、皆様どのように管理されているでしょうか。 Railsを利用されている方の多くは、ActiveRecordのマイグレーションを利用して管理をされているかと思います。 私もいままでいくつかのRailsプロジェクトに関わってきましたが、 ほぼ全てのプロジェクトでActiveRecordのDBマイグレーションを利用してきました。 (一部のプロジェクトはActiveRecordを使っていないため、マイグレーションも独自のものを利用しています) ActiveRecordのマイグレーションでは、DBスキーマ変更の差分情報をマイグレーションスクリプトとして保存しておきます。例えば、新しいテーブル「users」を作成する場合は、下記のようなマイグレーションスクリプトを作成します。 class AddUsers < ActiveRecord::Migration def up # ここにマイグ
職場で学んだ快適なVim操作のためのtips | Webシステム開発／教育ソリューションのタイムインターメディア
テキスト編集にVimを利用しているのですが、とても奥が深い道具なので一人で使う分には気づかない機能が沢山あります。 日頃職場の先輩方から教わりとても効率的に出来るようになったVimのtipsを、いくつかこの記事にまとめます。 知ってる人は既に使いこなしているものばかりだと思いますが、Vimのそんな便利だけど気付きにくい機能を共有できればと思います。 カーソルの位置を移動する直前に戻す うっかりggしてしまい作業場所を見失ってしまった、という時や検索などによってカーソル位置を変更した時に元の位置に戻りたい、ということはよくあります。 こういった移動履歴はジャンプリストと呼ばれる場所に記録されているので1手で戻る事ができます。 これはバッファ内だけでなく、ファイル間の移動を記録しているため、タグジャンプなどで別のファイルに移動した後も元いた場所に戻ることが出来ます。 参考help: :h CT
自分流ローカルでのgitの使い方 | Webシステム開発／教育ソリューションのタイムインターメディア
他人の開発画面、覗いてみた事ありますか。 覗いてみた事が無い方は、是非見せてもらってください。意外と面白いですよ。 gitのコミットの仕方ひとつとっても、人によって全く違うんだなと思うはずです。 git使いが10人いれば、使い方も10通りなんだなと、他人のコンソール覗きこむたびに感じます。 私の場合、プロジェクトが数ヶ月から半年に一度変わる（または並行して複数のプロジェクトに入る)という事が多く、いろんなgit使いの方に触れる 機会が多いです。 コンソール上でgitを操作する人、SourceTreeやEclipseプラグイン等のGUIツールで操作する人、git rebaseを多様する人、全くしない人、コミットグラフが綺麗な人、汚い人（そもそもあんまりこだわりを持っていない人?)、コミットメッセージを日本語で書く人、英語で書く人。。。 私は、「git pull」というコマンドを使う事はほぼ無
ActiveRecordを支える技術 - Arelとは何者なのか?(全5回) その3 | Webシステム開発／教育ソリューションのタイムインターメディア
ActiveRecordを支える技術 – Arelとは何者なのか?(全5回) その3 #activerecord#Arel#rails#ruby#sql 2014年 05月 05日 nishio product = Arel::Table.new(:products) product.project('*').where(product[:price].eq(1000)).to_sql # "SELECT * FROM `products` WHERE `products`.`price` = 1000" の部分から読んでみます。 以下、目次となります。 ActiveRecordを支える技術 – Arelとは何者なのか?(全5回) その1Arelについてなぜ調査しようと思ったのか、その背景と今後利用するサンプルコードを掲載しています。ActiveRecordを支える技術 – Arelとは何
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SymPyで因数分解が楽勝 | Webシステム開発／教育ソリューションのタイムインターメディア
