HeskellのMonadを圏論のMonad/Kleisli Tripleと対比する - めもめも
圏論の歩き方 作者: 圏論の歩き方委員会出版社/メーカー: 日本評論社発売日: 2015/09/09メディア: 単行本この商品を含むブログを見る オフィスの机の上に新たな挑戦状（上記の本）が置いてあったので読んでみると、Kleisli tripleとMonadの関係が説明されていて、「そういえば、Kleisli tripleとMonadの同値性って、ちゃんと証明したことなかったなー」と思って書き始めたのがこのエントリーです。 いったい何の寝言を言ってるのかと思われそうですが・・・ HaskellのMonadを圏論の言葉に置き換えて理解する際に、圏論における「Kleisli triple」に対応させる方法と、圏論における「Monad」に対応させる方法があります。圏論の世界で「Kleisli triple」と「Monad」は互いに変換可能なので、どちらを用いても理論的には同じなのですが、Has
JavaScriptのコメントは不要か？ | POSTD
コード中にコメントを書くべきでしょうか？ 是が非でも避けるべきでしょうか？ それとも控えめに書けばいいでしょうか？ 開発者たちはそれぞれ、ソフトウェアを開発する際にどのように、そしてどんな時にコメントを書くかについて、独自の考え方を持っています。この記事では私の意見を述べますが、これが誰にも当てはまるというわけではありません。 なお、関数型プログラミングまたはオブジェクト指向プログラミングの原則に則ってJavaScriptで書かれたソフトウェアに絞った上で、私の意見を述べることにします。 コメントと保守性 この記事では、保守性のあるコードを書く場合について考えます。つまり、以下のようなコードです。 簡単に理解できる 簡単に拡張できる 簡単にデバッグできる 簡単にテストできる 保守性のあるコードには、大量のコメントが必要でしょうか？ 明確に書かれたコードであるならば、大量のコメントは不要だと
Systems Programming at Twitter
Systems Programming at Twitter Facebook, October 30, 2012 Marius Eriksen Twitter Inc. (Press space or enter to navigate to the next slide, left arrow to go backwards.) A history lesson Twitter evolves 2009: Pure Ruby-on-Rails app with MySQL; lots of memcache. Materialized timelines into memcaches. Social graph moved to a service. Delayed work through queues. 2010: Starting to move timelines out to
Webサービスの作り方をプログラミング初心者が勉強した記録記事
近年、よりプログラミング言語習得の注目度が上昇しています。 インターネット上でプログラミングが学べるサービスも多数登場していますが、いざ勉強を始めてみると難しいと感じたり、興味はあるけれど敷居が高いと感じてしまうこともあります。 今回は、未経験者や経験の浅い著者がプログラミングを学んだ成果を記録している記事をご紹介します。 プログラミングをこれから学習する方にとって参考になる内容となっていますので、ぜひ目を通してみてください。 未経験者がWebサービスの作り方を学んで成果を記録した記事 1.ノンプログラマーが3ヶ月でWebサービスを作ってみた｜Qiita http://qiita.com/tabbyz/items/6513e84f319843c316d5 プログラミング関連の知識を記録、共有するサービスQiita内の記事です。 ノンプログラマーで趣味でたまにプログラミングをする程度という筆
これからの時代はプログラミングって聞くけどどの言語がいいの？
更新日: 2022年7月11日公開日: 2015年10月5日これからの時代はプログラミングって聞くけどどの言語がいいの？ 最近、ニュースや新聞でも「プログラミング」という言葉を目にする機会が増えてきたように思います。今までプログラミングに対して興味を持っていなかった人も、スマホやアプリが身近になったことで「自分でアプリ開発したい」「Web サイトを作りたい」と思う人が増えてきました。 また世間ではプログラマー不足といわれ、職業としても日に日にプログラマーの存在が増してきています。 そんな注目を集めるプログラミングですが、その言語は現在 705 種類あり（Wikipedia）、プログラミング入門者にとってどの言語を学べばいいのか不安に思う方も少なくありません。 そこで今回はそんな不安を払拭し、一人でも多くの方が納得してプログラミング学習を始められればいいなと思い、情報をまとめてみました。
使い道1 開発環境で利用
出典：日経SYSTEMS 2015年3月号 pp.44-45 （記事は執筆時の情報に基づいており、現在では異なる場合があります） Dockerを開発環境で使う場合は、「継続的インテグレーション（CI）に組み込む」「開発に必要なソフトウエアの配布」といった活用方法がある。使い捨てが簡単にできる、必要なミドルウエアやライブラリも含めてパッケージ化できるという、コンテナーの特性が生きる利用方法といえる。 IIJ 毎回クリーンな環境でビルド DockerをCIに組み込んで使う例として、ここではIIJの活用方法を見ていこう。IIJでは、2014年2月頃からCIツール「drone.io」（以下、drone）とDockerを組み合わせ、開発したプログラムのビルドおよびテストを行っている（図1）。ビルドとテストの実行時には毎回新規にコンテナーを立ち上げ、終了したらコンテナーを消去する。このようにコンテナー
Microsoft R Server now available for Academics and Students via DreamSpark - big data statistics, predictive modeling and machine learning capabilities - Microsoft UK Faculty Connection - Site Home - MSDN Blogs
In Visual Studio 2022 17.10 Preview 2, we’ve introduced some UX updates and usability improvements to the Connection Manager. With these updates we provide a more seamless experience when connecting to remote systems and/or debugging failed connections. Please install the latest Preview to try it out. Read on to learn what the Connection ...
OSS についてあれこれ
unassert - encourage reliable programming by writing assertions in productionTakuto Wada
Rails開発のひみつ
java-ja.OSSのLT http://connpass.com/event/19690/
サーバーレスアーキテクチャという技術分野についての簡単な調査 - Qiita
BaaSの制約で実現しにくい要件があったときに、サーバーレスアーキテクチャという選択肢は魅力的に見えてくる。そこで今回は最も柔軟性が高いサーバーレスインフラストラクチャだと思われるAWS Lambdaを取り上げ、BaaSの代わりになりうるか検討する。 AWS LambdaのファンクションはJava 8で書ける。ということはGroovyでも書ける。ドメインクラスをJava/Groovyで書いてLambdaファンクションのなかで利用することができれば、サーバーレスアーキテクチャでも本格的なアプリケーションを開発できそうだ。 今後のアプリケーションインフラストラクチャ選択において、従来型のアプリケーションサーバーと、近年普及してきたBaaSに加え、サーバーレスインフラストラクチャという選択肢も増えるとすれば有意義だ。 非常駐型のデメリット 歴史的にはCGI/PHPのようなイベント駆動型のアプリケ
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
［データは語る］中堅・中小企業向け販社/SIer、トップは大塚商会―ノークリサーチ
調査会社のノークリサーチは2015年10月5日、中堅・中小企業の主要な販社/SIerに関する調査結果を発表した。年商500億円未満の中堅・中小企業が、過去3年以内に業務システムを委託/購入した販社やSIerの中で、3年間の累計金額が多かった企業について調査したもの。この結果から中堅・中小企業向け市場における販社/SIerのシェアが分かる。それによると、大塚商会が12.5％でトップ。NTTデータが8.8％、リコーが5.3％、富士通マーケティングが5.2％と続いた（図）。 ノークリサーチは、今回の結果について、数多くの販社/SIerが僅差でシェアを分け合う状況となっていると指摘。2014年の前回調査と比較すると、上位5社の順位は同様だが、6位以降は変動が見られるという。 また同社は、シェアが上位の販社/SIerでも、導入先の業種によってシェアが変化すると指摘。例えば建設業の場合、シェアトップは
Visual Studio Code Will Help You Learn Node.js - DZone Web Dev
This article originally appeared at http://devhammer.net/blog/learn-you-node-with-vs-code/ - Visit Andrew's blog for more posts and videos on software development Node.js may not be the “new” hotness, but it’s still pretty hot, and getting hotter all the time. Whether you’re a .NET developer who’s still on the fence about JavaScript, or just haven’t gotten around to taking a look at Node, now is a
Functional Programming in JavaScript - DZone Refcardz
Functional programming is a software paradigm that will radically change the way in which you approach any programming endeavor. This is evident in this simple example: document.getElementById('message').innerHTML = '<h1>Hello FP!</h1>';While this program is very trivial, without any effort, it can quickly become problematic. What if you wanted to change the formatting from an <h1> to an <h2>? Or
半角カッコから全角カッコ
このウェブログの本文で使っていた半角カッコを全角カッコに変えたくなった。文章校正的な理由ではなく、将来の縦書き化を見据えて今のうちに調節しておこうかなという程度の理由だ(半角カッコに戻すのは簡単そうだ、ということもある)。だが単純な置換ではなかなか難しく、手作業でやろうかと思ったが開き半角カッコだけで8000近くあったので無理そう……ということで一時間くらい色々考えた結果、ASCII範囲外の文字を含む開き半角カッコと閉じ半角カッコのペアを探して置換するのがよさそうという結論に至った。 Perlの正規表現ならばかなりかっこよく書けそうだったが、ファイル探索から読み込み、置換、保存まで書くのはさすがに面倒そうだ。普通にVimでqfreplaceを使って行うようにした。 :%s/(\(.*[^!-~ ].\{-}\))/(\1)/gc Vimの正規表現なので気持ち悪いやつになっている。ASCII
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学からデザインのインスピレーションを得よう！数学の美しさを楽しめるGIFアニメーションのまとめ
Engadget | Technology News & Reviews
ＭＳ ゴシック、ＭＳ 明朝相当のフォントについて知る | 産業向け製品 | リコー
IT業界・エンジニアの転職ならTech Stars Agent
Apache JMeter Tutorial - DZone