Haskellでの合成可能なオブジェクトの構成とその応用
Haskellでの合成可能なオブジェクトの構成とその応用 木下郁章, 山本和彦, 2015 Haskellで状態を管理する際は、 一般的に代数データ型や型クラスが用いられるが、 データが拡張できないか、動的な性質を持たない。 そのためHaskellは、 複雑な状態を扱う問題領域には適していないと考えられてきた。 一方で、一般的なオブジェクト指向言語では、 オブジェクトを提供することでこの問題領域で成功を収めている。 本論文では、Haskellの言語仕様を変更することなしに、 オブジェクト指向言語から着想を得たオブジェクトを実現する。 本論文で提案するオブジェクトは圏を構成し、合成を用いて継承を表現できる。 また、終了する運命にあるオブジェクトやストリーミングなどに応用でき、 複雑な状態を扱うゲームの実装にも使われている。 論文をダウンロード(PDF) PPL 2015 発表スライド ここに
C言語/C++ プログラミング 入門
C 言語は 1972年にUSの有名なベル研究所で Dennis Ritchie らが設計・実装した言語だ。 今となっては低水準な言語だが、充分な機能、簡潔な記法とアセンブラに近いパフォーマンスを持ち、 Unix, Windows, Linux 等の OS をはじめ、コンパイラ、テキストエディタ等のツールや、ビジネスアプリやゲームなど多くの各種アプリケーション開発に用いられてきた。 C++ 言語は 1980年頃、やはりベル研究所の Bjarne Stroustrup が開発したもので、C にオブジェクト指向などの機能を追加したものだ。 C との互換性を維持しつつオブジェクト指向が可能で、パフォーマンスも高かったことから、 1990年頃から、ビジネスアプリやゲームなど多くのアプリケーション開発に使用されるようになった。 C++ は、過去の互換性を維持しつつ最先端のプログラミングパラダイムを多く
Go --- making Lisp by Java and C#
1日目 --- Lisp を知る 言語としての Lisp の詳細は別の文献に譲るとして、ここでは Lisp の本質を掴んでいきます。 Lisp の本質は、「すべてがリスト(S式)で表現される」ことにあります。データはもちろん、プログラムも同等にリストで表現されることにあります。 ここでリストは (1 2 3 4) のように表記し、データ 1, 2, 3, 4 を構成要素としているコンテナ型(構成型)のデータタイプです。また 1, 2, 3, 4 の順序を持っている列の一種です。 このように (1 2 3 4) のようにデータも表現し、また (defun foo (x y) (list x y)) のようにプログラムもリストで表現されます。 ---Lisp 言語講座 (1)--- ここで (defun foo (x y) (list x y)) は defun が関数定義を意味して、関数名が
プログラマの為の数学勉強会
2013年 プログラマの為の数学勉強会 資料 第1回:イントロダクション 第2回:浮動小数点数・極限・微分 第3回:微分法の応用・多変数関数の微分法 第4回:微分法の応用(続き)・方程式の数値解法 第5回:微分方程式の数値解法・積分法 第6回:数値積分法・積分法の応用 第7回:行列・ベクトル・ガウス消去法 第8回:行列式・逆行列・連立一次方程式の直接解法 第9回:線型空間・線型写像・固有値固有ベクトル(その1) 第10回:線型変換・固有値固有ベクトル(その2)・内積空間 第11回:連立一次方程式の反復解法・二次形式・多変数関数の極値・重積分 第12回:確率論入門 第13回:情報量・エントロピー・重要な確率分布・大数の法則・中心極限定理 第14回:擬似乱数の生成法・推定 第15回:検定 第16回:検定の続き, 回帰分析 第17回:回帰分析の続き 第18回:ベイズ統計
FN1012001 - Model-View-Controller (MVC) - Flash : テクニカルノート
「Model-View-Controller」(モデル・ビュー・コントローラ)は、ユーザーにデータをインタラクティブに示すアプリケーションについて、3つの要素で構成する設計の手法です。3つの構成要素の頭文字をとってMVCモデルとか、デザインパターンのひとつとしてMVCパターンと呼ばれることもあります[*1]。 データを扱うModelとその表示であるViewをはっきりと分け、ユーザーインタラクションはControllerが担います。それぞれの構成要素やその間でデザインパターンが用いられることも多く、デザインパターンよりももう少し大きなくくりで考える設計というべきでしょう(注[*1]参照)。 01 Model-View-Controllerとは Model-View-Controller各構成要素の間の役割の分け方には、バリエーションがあります。中には、ViewとControllerをひとつに
#85 MVCパターンを実装してみる « C# « a wandering wolf
Does a wandering wolf dreams of a wondering, sometimes programming sheep? ご無沙汰しております。 私事ですが、先日引っ越しをしまして、さらに諸事情によりネットが先週末まで開通しておりませんでした(・_・;) 更新が滞っておりましたが、また今後ともよろしくお願いしますm(_ _)m さて、タイトルの通り、今回はMVCパターンを実装してみようと思います。 Model View Controller - Wikipedia 実はここ半年くらい、「MVCパターンって何だろう？」と調べていました。 .NETの世界にもASP.NET MVCがありますし、名前は知ってました。 他にもWebの世界では、「○○フレームワークはMVCパターンを使ってる」みたいな話も聞きます。 でも、何だかどれも少しずつ違うんですよね。 ググってみても、
量子コンピュータ・量子情報の講義ノートPDF。 量子計算や量子通信の理論を，基礎から応用まで勉強するための教科書や資料 - 主に言語とシステム開発に関して
講義ノートの目次へ 量子コンピュータ・量子計算について勉強するための，講義ノートや教科書PDF。 基礎理論から，詳しく独学に使えるノートを集めた。 量子情報処理では「エンタングルメント」などの量子力学的なしかけを使い， 量子計算のハードウェア（＝量子コンピュータ）を実現。 その上で量子暗号・量子フーリエ計算などの具体的なアルゴリズムを実行する。 ただし従来のコンピュータと違い， ハードとソフトがほぼ分離されていないので注意。 量子コンピュータは，世間に与えるインパクトが非常に大きいため， 専門外の一般向けの資料も多い。 ここでは下記の分類にしたがってPDFを掲載する。 （１）数式を使って，しっかり学習するための資料 （２）数式を使わない，一般向けの解説資料 量子計算の基礎となる量子力学はこちらのノート， 光学・量子光学はこちらのノート， 情報と暗号の理論はこちらのノート，線形代数はこちらの
スイッチ・ルータのしくみ
最終更新は2013.7.14です．以下でLTした資料に加筆しました． ・カーネル/VM�探検隊@TKB 2012.9.22 ・自宅ラック勉強会 2012.10.8
類似楽曲検索システムを作ろう - 人工知能に関する断創録
もう1年以上かけて音声信号処理の勉強をしてきました（Pythonで音声信号処理）。ここらで具体的なアプリケーションとして類似楽曲検索の実験をしてみたのでレポートをまとめておきます。言語はPythonです。 前に 類似画像検索システムを作ろう（2009/10/3） Visual Wordsを用いた類似画像検索（2010/2/27） という画像の類似検索に関するエントリを書きましたが、今回は画像ではなく音楽を対象に類似検索をやってみたいと思います！ 今回作る類似楽曲検索システムは、従来からよくあるアーティスト名や曲名などテキストで検索するシステムや購買履歴をもとにオススメする協調フィルタリングベースのシステムとは異なります。WAVEファイルやMP3ファイルなどの音楽波形そのものを入力とするのが特徴です。たとえば、「具体的なアーティストや曲名は知らないけれど、この曲とメロディや雰囲気が似た曲がほ
std::string の正体（gcc-4.4.3）と細かい話 - やた＠はてな日記
# 環境依存な内容な上，無駄に細かい話なので，「そういうこともあるかもねー」くらいに流しちゃってください． （追記 2011-01-11）新しい規格では std::string の Copy on Write（CoW: 書き込み時に複製）が実質禁止になるとのことです．後，gcc 4.5 の時点で CoW はやめてしまうみたいですし，「そんな時代もあった」くらいに軽く流しちゃってください．id:gintenlabo さん，コメントありがとうございます． （追記の続き）個人的には，std::string の CoW 動作は挙動が分かりにくくなるので止める方に賛成です．でも，std::vector なんかを拡張するときはどうするのかな…？コピーしてしまうのか，swap() を使うようにするのか…． （さらに追記 2011-01-11）おおっと，ムーブコンストラクタにムーブ代入演算子なんてものが…
Big Sky :: プログラミング言語の作り方
Big Sky :: プログラミング言語の作り方(2) Big Sky :: プログラミング言語の作り方(3) Big Sky :: プログラミング言語の作り方(4) Big Sky :: プログラミング言語の作り方(5) github の trending を見てたら面白い物を見つけた。 orangeduck/BuildYourOwnLisp - GitHub Learn C and build your own programming language in under 1000 lines of code! https://github.com/orangeduck/BuildYourOwnLisp 手順にそってC言語で lisp を実装する手順を見せるという物なのだが、その教材の一部としてパーサのコードが含まれている。 このパーサ部分だけ別のプロジェクトとして外出しされている。 o
DI（依存性注入）からどこへ行こうか その1 - 檜山正幸のキマイラ飼育記 (はてなBlog)
このエントリーは、ウチの工作員ショー君への業務連絡とか、新たな工作員勧誘とかの目的もあるのですけど、ふつうにソフトウェア関連ネタとして読めます。ソフトウェアのコンポネント化とコンポネント群の複合方式の話題です。 随分と長いので、2回（か3回）に分けてポストします。 ※印刷のときはサイドバーが消えます。 内容： DI（依存性注入） ポートベース・コンポネント 再びDI：フィールド・インジェクション ポート（あるいは男と女）を繋ぐワイヤー（あるいは赤い糸） 要求ポートと提供ポート これがポートベースHelloWorld それから その2 関連： ポートベース・コンポネント：ケーススタディ ポートベース・コンポネント：補足 DI（依存性注入）を白紙から説明してみる DI（依存性注入） DI（依存性注入）については、雑誌や書籍で随分紹介されているので、そういうのを見てください。Web上の解説記事「
オブジェクト指向プログラミングとは何か? · eed3si9n
2013-09-18 oop はどう定義されるべきだろうか? 純粋オブジェクト指向プログラミング 純粋オブジェクト指向プログラミングは以下のように定義できる: オブジェクトを使ったプログラミング。 オブジェクトとは何か? 他のオブジェクトへの参照を保持し、事前にリストアップされたメッセージを受信することができ、他のオブジェクトや自分自身にメッセージを送信することができるアトムで、他には何もしない。メッセージは名前とオブジェクトへの参照のリストから構成される。 これでおしまい。言い回しは僕が考えたものだけど、アイディアはオブジェクト指向という言葉を作った張本人 Alan Kay (2003) からのものだ。これ以外は、直接 oop に関係無いか、実装上の詳細だ。 この定義から導き出せるものを考えてみよう。 まずは名前空間だ。C の関数と違ってメッセージ (別名メソッド) はオブジェクトごとに
Javaで作る超簡易x86エミュレータ
開発者にとってシェルが必要不可欠なものであることは論を俟ちませんが、当たり前の存在すぎてこれがどのように実現されているのかを知る機会はあまりないと思います。本トークでは、シェルがどのように実現されているのかを、実際にシェルを実装する過程を通じてお話しします。 ※ もともとのトークのタイトルは「入門 シェル」でしたが，わかりやすさのため「入門 シェル実装」にタイトルを変更しています．
「再帰→ループ」の変換が大変だった件 - IT戦記
まず、ループは再帰で表現できる ループというのはすべて再帰呼び出しで表現できる。 たとえば、コレは var array = [1, 2, 3]; for (var i = 0; i < array.length; i ++) alert(array[i]); こんな感じになる (function f(array, i) { if (i < array.length) { alert(array[i]); return f(array, i+1); } })([1, 2, 3], 0); もし、 array がこの目的以外に使われないならコッチのがキレイかも (function f(array) { alert(array.shift()); if (array.length) return f(array); })([1, 2, 3]); ということは、再帰はループで表現できるはず という
計算機プログラムの構造と解釈 第二版
[ 目次, 前節, 次節, 索引 ] 2014-03-06 更新 [ 目次, 前節, 次節, 索引 ]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ruby on Rails チュートリアル：実例を使ってRailsを学ぼう - Michael Hartl (マイケル・ハートル)
ゲーム制作初心者が知るべき8つのこと
dfltweb1.onamae.com – このドメインはお名前.comで取得されています。
Log in with Atlassian account