ファンクターについての覚え書き - Qiita
この記事は、ファンクターについてひっきりなしに勘違いを繰り返していた過去の自分への覚え書きです。ファンクターは難しいと言われるわりには、ぐぐってみると余裕で理解されている方が多いような気がするんですよね。回りくどくて何が何だかわからん！と思ったら、それはそれだけ勘違いを繰り返していた私のせいです。おかしな点があったらツッコミをお願いします。 それではまず、OCaml チュートリアルからファンクターの説明を抜き出してみましょう。 ファンクタはおそらく OCaml の中でもっとも複雑な特徴のひとつだが、 OCaml プログラマーとして成功するためにファンクタを広く使いこなす必要はない。実際、あなた自身ではファンクタを定義したことはないかもしれないが、標準ライブラリで間違いなく出会うだろう。ファンクタは Set や Map モジュールを使う唯一の方法だが、使うのはそんなに難しくはない。 ふむふむ
OCaml の記号あれこれ - Qiita
おはようございます。今日も一日、よろしくお願いします。 おはようございます。今日も一日、よろしくお願いします。 大事なことなので二度コピペしました。おはようございます、 OCaml ビギナーです。先日、私のコードの diff を眺めていた CVO（最高美夢責任者）が 「くっ、我がダークヴィムマスターの戦闘力を以てしても皆目検討が付かぬ……これが神の創りし大駱駝（※ OCaml のことらしい）の力……」 とつぶやかれておりましたので、 「っふ……駱眼（※ OCaml のコードを見抜く第三の目。慈悲はない）を持たぬ者にはわからんだろう……ククク、俺の右眼が疼くわ！（花粉の季節はつらいです）」 と突き放しておきましたが、はて具体的に何がわからなかったのか聞きそびれました。ところで私は、 OCaml の実用的なコードに含まれる見慣れない記号の多さに面食らった覚えがあります。最近になってやっとだいた
人間らしいGitのエイリアス | POSTD
断固としてコンピュータ言語を拒絶する 私の知っている最も一般的な .gitconfig は、ユーザ名の設定だけが記されたものです。そして、その次に一般的なものはこれです。 [alias] ci = commit cia = commit -a cam = commit --amend cama = commit --amend -a cl = clean cldf = clean -df res = reset resa = reset HEAD ... # 82 more 4-character aliases このコンフィグは、要するにあなたの頭の中のスペースをキーストロークに置き換えます。短縮コマンドのエイリアスを覚えれば、タイピング数の節約が可能です。しかし私はこれが好きではありません。私はタイプミスをしますし、睡眠不足なこともたまにあるので、このエイリアスではやりづらくなってしま
なぜDockerとCoreOSの決裂は予測できたか | POSTD
「私が滑っていく先はパックが向かう所であり、パックがあった所ではない」－Wayne Gretzky CoreOSとDockerの間で 最近 、 騒動 がありました。DockerはCoreOSのクラスタ管理の領域に入り込むために構築している製品の範囲を広げています。それにより、CoreOSがDockerと競合する独自のコンテナランタイム Rocket を発表したのです。そういった動きは、Clayton Christensenの『 Law of Conservation of Modularity 』を読んでいれば十分に予測できるものでした。 我々がコモディティ化に関する研究から洞察したのは、コモディティ化がバリューチェーンのどこかで進んでいる時はいつも、脱コモディティ化という逆のプロセスがバリューチェーンの別のどこかで進んでいるということです。（中略）この2つのプロセスが相互関係にあるという
Denoising Autoencodersにおける確率的勾配降下法（数式の導出） - Yusuke Sugomori's Blog
Extracting and Composing Robust Features with Denoising Autoencoders [Vincent 2008] では、Deep Learning の一手法である、Denoising Autoencoders（DA）による学習手法が提案されています。 DAでは、入力データの一部をあえて損傷させ、損傷したデータを復元するような訓練を行います。その際、[Vincent 2008]には確率的勾配降下法（stochastic gradient descent, SGD）を用いればよい、との旨が書かれていますが、いざ実装しようとした時、数式が少し複雑でしたので、その導出過程についてまとめたいと思います。 記号等はなるべく文献に合わせてあるので、細かな説明は省いてあります。 また、[Vincent 2008]に従って、入力データがとる値は、0 or
Linux Networking Explained
Linux offers an extensive selection of programmable and configurable networking components from traditional bridges, encryption, to container optimized layer 2/3 devices, link aggregation, tunneling, several classification and filtering languages all the way up to full SDN components. This talk will provide an overview of many Linux networking components covering the Linux bridge, IPVLAN, MACVLAN,
確率的勾配降下法
確率的勾配降下法 機械学習のアルゴリズムの多くは，考えている問題を， 何らかの目的関数の最大化もしくは最小化問題（最適化問題）に落としこんで解く． 最適化問題の解析解を簡単に求められればよいが，そうではない場合は反復法 （適当に与えた初期値を徐々に最適解に近づける方法）に頼ったりする． 今日は，そんな反復法の1つである，確率的勾配降下法のお話． 勾配降下法 まずは，「確率的」勾配降下法の前に，普通の勾配降下法 (gradient descent) について話しておく． パラメータ $\theta$，サンプル $x$ に対する誤差関数を $E(x, \theta)$ とおくと， 勾配降下法では，誤差関数のサンプルに関する期待値 を最小化する．しかし，一般に $p(x)$ は分かんないし，そもそも，上の積分を計算するためには， 起こりうる全てのサンプルを獲得しなければいけない． 普通は母集団は
続・Haskellの最近の例外ハンドリング - syocy’s diary
前回 の記事ではHaskellの例外ハンドリングには exceptions パッケージを使えばいいのではないかと書いた。 ところが今年の6月に safe-exceptions という exceptions を拡張したようなパッケージがさる FPComplete から 発表 された。 そこでこの記事では safe-exceptions について調べてみる。 おそらくほぼ FPComplete の発表の受け売りになってしまうので英語を読める人は原文を読む方がいいかもしれない。 さすが FPComplete だけあってこれは既に LTS Haskell に入っている。 この記事では lts-6.14 を用いる。 Haskellの例外のつらいところ 自分が認識している範囲ではHaskellの例外まわりは以下のところがつらい。 標準の例外系の関数が IO に特化されていて取り回しが悪い いかにも純粋
Google
世界中のあらゆる情報を検索するためのツールを提供しています。さまざまな検索機能を活用して、お探しの情報を見つけてください。
Island Life - λの起源、2つの説
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
auのSIMロック解除方法と注意点｜料金は無料？中古端末もネットからできる？ - SIMチェンジ
SIMロック解除が不要なケース同じようにau回線を利用している格安SIMの会社を選べば、SIMロック解除の必要はありません。 SIMロック解除なしで使用できる格安SIM会社実際にSIMロック解除なしで使える格安SIM会社は、UQモバイル・LINEモバイル・mineoです。 UQモバイル出典:UQモバイルUQモバイルには様々な料金プランがあります。データ容量と通話オプションが自由に選べるようになっており、3GBで1,480円から使えます。 スマホとWiFiがセットで、5,360円から使えるお得なセットプランです。データ通信がたっぷり使えるので、パソコンを使う人やデータ容量をたっぷり使いたい人におすすめです。 データ増量キャンペーンや家族割・学割も行っているので、キャンペーンを使えば更にお得に利用できます。 UQモバイルを契約する！ LINEモバイル 出典:LINEモバイル LINEモバイルは
mineoはeo光とのセット割がお得｜セットで契約するメリット・デメリットを紹介 - SIMチェンジ
新規契約者数の増加が話題の格安SIM会社、mineo。実は家庭用のインターネットプロバイダeo光と一緒に契約ができるんです。しかも利用料金が割引になる「セット割引」があります。この記事では、mineoをお得に利用できるeo光とのセット割引についてご紹介します。 新規契約者数を確実に増やしている格安SIM会社、mineo(マイネオ)ですが、家庭用のインターネットプロバイダとして知られるeo光とセットで契約することで、利用料金が割引になるセット割引という仕組みが存在します。 この記事では、そんなmineoとeo光とのセット割引について紹介します。 mineoとeo光との関係性とは なぜ、mineoとeo光とをセットで契約するとセット割引が適用されるのでしょうか。 それは、mineoとeo光との関係を見れば明らかです。 mineoとeo光は、ともに関西電力グループのオプテージが提供する事業です。
ケイ・オプティコム｜プレスリリース｜「mineo（マイネオ）」新端末価格・発売記念キャンペーンおよびmineoサポート店の拡充について
2．大人気SIMフリースマホ登場記念キャンペーン 2016年9月1日(木)から10月31日(月)に新端末をご購入されたお客さまを対象にAmazonギフト券1,000円分をプレゼントいたします。また、2016年8月1日(月)から8月29日(月)午前9時の先行予約期間に新端末をご予約※1されたお客さまにはさらにAmazonギフト券1,000円分、新規契約の場合は新規契約時の事務手数料が無料となるエントリーコードもプレゼントいたします。 【キャンペーン概要】 ◆お申し込み期間： 2016年9月1日（木）～2016年10月31日（月） ◆先行予約期間： 2016年8月1日(月)から8月29日(月)午前9時 ◆対 象： （1）お申し込み期間中に新端末をご購入されたお客さま※2 （2）先行予約期間に新端末をご予約※1されたお客さまのうち、お申し込み期間中に新端末をご購入されたお客さま※2※3 （3）先
mineoはeo光とのセット割がお得｜セットで契約するメリット・デメリットを紹介 - SIMチェンジ
新規契約者数の増加が話題の格安SIM会社、mineo。実は家庭用のインターネットプロバイダeo光と一緒に契約ができるんです。しかも利用料金が割引になる「セット割引」があります。この記事では、mineoをお得に利用できるeo光とのセット割引についてご紹介します。 新規契約者数を確実に増やしている格安SIM会社、mineo(マイネオ)ですが、家庭用のインターネットプロバイダとして知られるeo光とセットで契約することで、利用料金が割引になるセット割引という仕組みが存在します。 この記事では、そんなmineoとeo光とのセット割引について紹介します。 mineoとeo光との関係性とは なぜ、mineoとeo光とをセットで契約するとセット割引が適用されるのでしょうか。 それは、mineoとeo光との関係を見れば明らかです。 mineoとeo光は、ともに関西電力グループのオプテージが提供する事業です。
限定継続 in Haskell 98 by Oleg Kiselyov - keigoiの日記
限定継続フェスタ があると聞きまして，私もちょっぴり勉強しています。 Schemeには馴れていないし、僕のPCには処理系も入ってないので、Haskellでやります。 Olegさんの投稿 (http://www.mail-archive.com/haskell@haskell.org/msg20758.html ) から、Haskll98で動作する 限定継続の実装が手に入ります。浅井先生・亀山先生の型システムを実装したものらしいです。 細かいことはわかりませんが、モナドはわかるのでためしてみます。 $ ghci ShiftResetGenuine.hs ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.6, for Haskell 98. / /_\\/ __ / /___| | http:
mobileASCII - すべてのモバイルユーザーのための情報サイト
ページが見つかりませんでした ご指定されたURLが存在しないか、変更・削除された可能性があります。 大変申し訳ありませんが、メニューまたはトップページから記事をお探しください。 トップページへ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Alpha Beta Epsilon
Caml Trading - Experiences with OCaml on Wall Street
Caml Trading - Experiences with OCaml on Wall Street
GitHub - Ravenbrook/mlworks: MLWorks is a Standard ML compiler and development environment.
Quartic Software - Help
Quartic Software
GitHub - ResidentMario/missingno: Missing data visualization module for Python.
"my friend" vs "a friend of mine"