依存性の注入 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "依存性の注入" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） 依存性の注入（いぞんせいのちゅうにゅう、英: Dependency injection）とは、あるオブジェクトや関数が、依存する他のオブジェクトや関数を受け取るデザインパターンである。英語の頭文字からDIと略される。DIは制御の反転の一種で、オブジェクトの作成と利用について関心の分離を行い、疎結合なプログラムを実現することを目的としている。 dependencyを「依存性」と訳すのは本来の意味[1] から外れているため「依存オブジェクト注入」の用語を採用する文
カリー化 - Wikipedia
カリー化 (currying, カリー化された=curried) とは、複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること（あるいはその関数のこと）である。クリストファー・ストレイチーにより論理学者ハスケル・カリーにちなんで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。 ごく簡単な例として、f(a, b) = c という関数 f があるときに、F(a) = g（ここで、g は g(b) = c となる関数である）という関数 F が、f のカリー化である。 関数 f が の形のとき、 をカリー化したものを とすると、 の形を取る。uncurryingは、これの逆の変換である。 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つ
)
マグマ (数学) - Wikipedia
定義[編集] マグマは集合 M と、M のどの二元 a, b に対しても μ(a, b) で表される別の元を対応させる二項演算 μ を対として考える。集合と演算の対 (M,μ) がマグマと呼ばれるためには、マグマの公理として知られる条件 演算について閉じていること: M の任意の元 a, b に対して、その二項演算 μ の演算結果 μ(a, b) が再び M に属する。 を満足しなければならない。演算が明らかで紛れの虞の無いときは演算の記号を落として台集合の記号のみによってマグマ M などという。しばしば二項演算 μ はマグマ M における乗法とも呼ばれ、このときの演算結果 μ(a, b) はa と b との積という[* 1]。また、誤解の虞が無いならば積 μ(a, b) は演算記号を省略してしばしば ab と書かれる。演算記号が省略されている場合に、マグマが台集合と演算の対であることを明
半群 - Wikipedia
数学における半群（はんぐん、英: semigroup）は、集合 S とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマである。「半群」という名は群に由来する。群と異なり半群では、単位元が存在するとは限らず、また各元は必ずしも逆元を持たない。 半群の演算は多くの場合乗法的に書く（順序対 (x, y) に演算を施した結果を x • y あるいは単に xy と表す）。 半群について本格的な研究が行われるようになるのは20世紀に入ってからである。半群は、「無記憶」系 ("memoryless" system) すなわち各反復時点でゼロから開始される時間依存系 (time-dependent system) の抽象代数的な定式化の基盤であり、数学の様々な分野において重要な概念となっている。応用数学においては、半群は線型時間不変系（英語版）の基本モデ
)
射 (圏論) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "射" 圏論 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2009年7月） 数学の多くの分野において、型射あるいは射（しゃ、英: morphism; モルフィズム）は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる（準同型）。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。 圏論における射はこのような概念を広く推し進め、しか
)
モナド (圏論) - Wikipedia
数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はコモナド（英語版）である。 歴史的に、この構造は「双対標準構成（英: dual standard construction）」「トリプル（英: triple）」「モノイド（英: monoid）」「トライアド（英: triad）」と様々な呼称で呼ばれており、これについてソーンダース・マックレーンは『圏論の基礎』の中で「不幸にも「トリプル」という語がこの意味でしばしば用いられたことが無用な混乱を拡大した」と記している[1]。「モナド」という語彙はライプニッツ（モナド (哲学) を参照）からの借用であるが、これを誰が
perl+javascript - なんちゃってマンガロイド : 404 Blog Not Found
2011年09月28日16:45 カテゴリLightweight Languages perl+javascript - なんちゃってマンガロイド 404 Blog Not Found:iPad - なんちゃってAjaxマンガビューワー というわけで、こさえたのが、これ。 404 Blog Not Found:iOS - なんちゃってAjaxマンガビューワーiPhone対応 iPhoneにも対応させたくなってきたので。 というわけで遅まきながらAndroidにも対応です。 http://colabv6.dan.co.jp/~dankogai/ubunchu01/ こんな感じ。 ISW11HTSMT-i9100 800x4801024x600 コメント Androidに対応、というより縦長デバイスに対応、ですかね 表示領域が√2より縦長な場合、高さではなく幅優先にしただけ。 ついでにピクセル
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 概要[編集] 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。
The monad laws
モナド則 三つの基本則 「失敗」は付けたし 出口はない Zero と Plus 要約 このチュートリアルではいままで、技術的な議論を避けてきました。しかし、 モナドについて考えるべき技術的な要点が2、3あります。モナド演算は、 「モナド公理」として知られている、いくつかの法則群に従わなければ なりません。これらの法則は Haskell のコンパイラが強制するものでは ありません。したがって、すべての Monad のインスタンスと 宣言したものが、これらの法則に従うことを保証するのはプログラマ自身です。 Haskell の Monad クラスは、まだ見ていませんが、最小限の定義 以上にいくつかの関数を含んでいます。結局、多くのモナドは標準のモナド則 以外の規則にも従っています。Haskell のクラスにはこうした拡張されたモナド をサポートするためのものがあります。 三つの基本則 モナドの概
ulog.cc - ulog リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
「フジ子・ヘミング現象」の何が問題なのか？
ピアニストのフジ子・ヘミング女史のリサイタルを聞く機会がありました。場所は、ニューヨークのリンカーンセンター内のアリス・タリー・ホール。東日本大震災のチャリティーという主旨もあって、多くの聴衆が集まっていました。その聴衆ですが、ザッと見渡したところ９５％は日本人のようで、場内のアナウンスも日本語だけであったり、在米日本人コミュニティーのイベントということは明らかでした。改めて日本でのフジ子人気の凄さを感じさせられました。 リサイタルの内容ですが、一部で言われているような「超スローテンポ＋旋律の濃厚な味付け」のユニークな演奏というのではなく、端正でロマンチックな普通の演奏でした。確かにテンポに変化をつける部分はありましたが、一小節内のリズムは良くも悪くもメトロノームを刻むような正確さがあり、節度を崩した演奏という印象はありませんでした。 メカニックにしても解釈にしても最近のピアノ界の様々な「
るびま
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
ゲームの「あのボタン」で音楽を。 MIDI Fighter:DDN JAPAN
DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中
最大限の賛辞とともに紹介したい「ダンスと映像」の新しい次元 - ORIENTARHYTHM × HANABUSA:DDN JAPAN
DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中
天才。フランスの17歳による39曲マッシュアップ技がハンパない:DDN JAPAN
DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中
作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう - きしだのはてな
さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。 アルゴリズムの勉強のしかた - きしだのはてな ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。 プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。 で、ハードウェアまわりについても、プロセッサを支える技術やネットワークはなぜつながるのかでひととおり勉強したとしましょう。 じゃあ次は、アジャイルか？テストか？UIデザインか？となるわけですが、やはりプログラマなら、プログラムの作り方や使いやすさの前に、作るプログラムの機能や性能で勝負したいじゃないですか。 いい感じに関数が分割できるよとか、読みやすい名前がつけれるよとか、効率よく仕事して定時に帰れるよと
[辞書登録]ガンジーでも助走つけて殴るレベルのユーザー辞書を作った
ユーザー辞書とは 変なワードを登録して遊ぶと面白い 便利にも使えるので使ってみようよ！Google日本語入力なにそれ ユーザー辞書とは あ、予め言っておくと本題は見出し4からなのでユーザー辞書が何か知ってる人はそこまで飛ばしても大丈夫です。 皆さん、ユーザー辞書使ってますか？ まあそんなん知ってる人も多いと思いますがｗ 文字入力の時表示される、携帯で言う予測変換候補、あれを自分で自由にあらかじめ設定できるというようなものですね。最近はGoogle 日本語入力が出てきたお陰でわりと使わなくなってきてるんじゃないかなーと思います。便利すぎて最近パソコン触り始めた人は知らなかったりするかもですね。知ってても、あーアレのことねって感じで。 ユーザー辞書の登録と書き出しのやり方 一応Microsoft IMEとGoogle日本語入力の説明をします。これ以外のものを使ってる人にはそもそもこんな説明必要
![[辞書登録]ガンジーでも助走つけて殴るレベルのユーザー辞書を作った](https://cdn-ak-scissors.b.st-hatena.com/image/square/1ce3469cb7635d5ad01699442e739d2f8f35f1ba/height=288;version=1;width=512/http%3A%2F%2Fwebcre8.jp%2Fwordpress%2Fwp-content%2Fuploads%2F2011%2F09%2Fdictionary-registration-gandhi-07-150x150.png)
洋麺屋五右衛門のスパゲッティーを自宅で再現したい！ 作り方知ってる人いる？ : お料理速報
洋麺屋五右衛門のスパゲッティーを自宅で再現したい！ 作り方知ってる人いる？ 2011年09月22日20:00 カテゴリレシピ麺類 1 困った時の名無しさん 04/08/22 23:58 五右衛門のスパゲティで「湯葉と豆乳ソースのスパゲティ」がめちゃくちゃ大好きです。 生クリーム、豆乳あたりはなんとなく想像がつくのですが、 後は何を入れればあの味になるのだろう・・？？ 「うまみ」はコンソメ？それとも・・？ 何だと思いますか？ ぜひ知りたいです。 スポンサード リンク 5 困った時の名無しさん 04/08/26 08:34 ここのスパゲティ好き。 マジでレシピ知りたさにここでバイトしようかと思ったことがあるｗ 17 困った時の名無しさん[sage] 04/11/03 03:14:31 >>１ 『湯葉と鳥そぼろの豆乳クリーム』 １人前：パスタ１３０ｇ 【生クリームソース１４０ｃｃ】牛乳とクリーム
ドイツと日本はこう攻めてくる！ 米誌が想定した米本土上陸作戦6パターン
ドイツと日本はこう攻めてくる！ 米誌が想定した米本土上陸作戦6パターン2011.09.26 16:0013,976 satomi 1942年3月2日。アメリカがイギリス、ソビエトなどと組んでナチス、日本帝国軍と戦っている最中、米国のLifeマガジンに枢軸国が米本土侵攻に使うと思われるシナリオが6つ紹介されました。 タイトルは｢Now the US must fight for its life（今こそアメリカの生死をかけた戦いの時だ）｣。本文の書き出しはこうです。 ｢ここにご覧に入れるのは西半球の地に初投下されたドイツのミサイル。きっと終戦を迎える頃までにはこれと同じものをもっと沢山目にすることになるだろう｣ 今読むとただの煽り記事ですが、当時はまだ真珠湾攻撃から数ヶ月しか経ってなくて、｢そのうち必ずドイツ軍と日本軍がアメリカ本土に攻めてくる｣と思ってる人がほとんどだったんですよ。国民に入
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
美女LINUX bijo-linux.com
IDEA * IDEA