ArrowLoopとCircularPrograming - 取り急ぎブログです
こうゆう問題を考えて見ましょう。 数字の入ったリストがある。そのリストの各要素をそのリストの最小値で引いた値を返す関数decWithMinを書け。つまり、 decWithMin [5, 10, 20, 4, 3, 100] => [2, 7, 17, 1, 0, 97] そんなの簡単じゃんと： decWithMin ls = map (\x -> x - min) ls where min = minimum ls なんてやるわけなんですが、なんとこのコードには重大な欠陥が！...と大げさになるほどのことでもないのですが、要はこのコードはリストlsを2回トラバースしているわけですね...一回目はminimum ls、もう一回はmapで。でも、もうちょっと広いスコープで見ると、ちょっと面白いことに気づきます。 もしdecWithMinの実行結果を誰も見ないとしたら、HaskellはLazyな
mad日記 - Arrowパズル解答 (とArrowLoop解説)
まず最初にArrowLoopについて説明します。数学的な話は一切しません(できません)。 ArrowLoopの仕組み ArrowLoopというクラスにはloopという関数が一つだけ属しています。このloopはArrowから新しいArrowを作り出してくれる関数です。 まずloopに入れるArrowはこんな形をしています。 入力が2つあり、出力も2つあります。ただし、Arrowは入力と出力がどちらも１つずつでなければならないので実際はタプルとして入出力します。標準ライブラリで定義されているArrowLoopクラスのインスタンスには普通の関数と、モナドをArrow化したKleisliというArrowがあります。 ここでは例として次のArrowを考えます。 swap_mul = \(x, y) -> (2 * y, 3* x) 実行例 > swap_mul (3, 4) (8,9)簡単な関数です
ArrowLoop - 言語ゲーム
さて、気分を変えて ArrowLoop をやります。論文に書いてある loop f b = let (c,d) = f (b,d) in c の意味が全く分からなくて Arrow の勉強が一ヶ月近く停滞していたのですが、id:MaD さんが素晴らしい解説 http://d.hatena.ne.jp/MaD/20070818 を書かれているので自分なりに写経します。loop を使って普通のループを作るには、引数として関数を一つ与えます。関数の型は (b,d) -> (c,d) のような入出力ともタプルとします。よくある図で示すと、タプルの後ろの引数がくるりと入力に繋がれる形をしています。 import Control.Arrow nonsense (b, d) = (b + 1, d * 2) -- *Main> loop nonsense 1 -- 2 -- このしようも無い例では、b +
Arrow golfなんていうのも面白いかもしれない - プログラムモグモグ
短い関数をArrowのコンビネータで組み直す競技. 競技であるから, 一応ルールを書いとかなきゃね. 使える関数は, Prelude/Control.Arrowでエクスポートされているもの. 関数hogeを実装せよ, とは, hogeを変数を使用せず書けということである. hoge x = fst x とか hoge = \x -> foo x のxや, where節, let式は認めない. 補助関数の定義, パターンマッチ, ガードも認めない. ifは許す. 実装の長さとは, hoge = foo bar bazのfからzまでの文字列としての長さとする. この長さが短いほうが良いものとする. スペースを除くことは構わない. ただし, もちろんコンパイルが通る範囲で. GHC拡張は使ってはならない. 例えばTupleSections. Preludeでエクスポートされている関数hogeを実
A Neighborhood of Infinity: The Trivial Monad
Update: I've added some solutions to exercises below. Haskell monads form a type class. And Haskell type classes are essentially interfaces shared by some types. So the Monad type class is a common API for talking to a bunch of different types. So the question is this: what's so special about this API? One way to grasp an API is to see concrete examples. Usually the monad API is introduced through
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
政治と所得不平等 - P.E.S.
とある論文を読んでましたら、分かりやすくて興味深い図がいくつも載っていましたのでそれらを紹介。論文はBonica, McCarty, Pool, and Rosenthal (2013) "Why Hasn't Democracy Slowed Rising Inequality?"*1、訳すると「なぜ民主主義は拡大する不平等を抑えてこなかったのか」。単純な中位投票者定理と、大抵の社会では所得の中央値は所得の平均値を下回るので有権者の過半数は平均以下の所得となる事に基づくと、民主主義においては再分配への傾向があり、これは所得不平等が高まれば高まるほど強くなるはずという公共選択論の比較的有名（？）な主張にも関わらず、民主主義国家においてここ数十年の不平等の拡大に対する再分配要求が強まらなかったのはなぜかということについての論文です。この論文の載っているジャーナルのトップ1%特集の一つで、これ
簡易マップエディタ - mirichiの日記
ずーーーっと前、タイムスタンプを見ると4年と4ヶ月ほど前に作られたとみられる簡易マップエディタに手を入れて、マップデータの読み込み/保存機能追加と2レイヤ対応をした。 まあこれで作ったマップ上を歩くサンプルでスクロールのパターンを作ってみよう、と。思ったわけだが、いざ作ってみるとそんなにパターンがあるわけでもなく。いま2つできたとこで、もう1つぐらいかなー # 簡易マップエディタ require 'dxruby' require './map' # マップデータ map = Array.new(32) { [1] * 32 } # 絵のデータを作る mapimage = [] mapimage.push(Image.new(32, 32, [100, 100, 200])) # 海 mapimage.push(Image.new(32, 32, [50, 200, 50])) # 平地 m
マップのスクロール - mirichiの日記
そういえばDXRubyの掲示板でスクロールのサンプルを作るという話を2度ほどしたうえに放置してたなーと思ってちょっと手をつける。 ついでにマップデータを外部データファイル化して読むようにしておいた。サンプルというにはアレなぐらい簡単なものではあるが、あとで簡単なマップエディタで読み書きできるようにでもしておけばなんとなくそれっぽい雰囲気にはなるだろう。マップエディタをDXRubyWS使って作るとかすると少しインパクトはあるかもしれん。 シンプルなMapクラスとして実装して、描画先はnewの引数で指定する。Map#drawの引数はマップ内の座標で、(newで指定されたもので省略時はWindow).draw_tileを発行するが、その引数としての描画サイズは描画先と画像サイズから自動計算するようにしてみた。実際のところ、画像をいくつ並べるかというのはコードを書く側からするとあまり意味の無い情報
自動微分を実装してみた - Nosの日記
自動微分というアルゴリズムがある。チェーンルールを使うことで、予め微分の式を与えなくてもそれと同等の精度で微分ができるというもの。もともとの計算時間の定数倍しかかからず、かつloopが入ってたりするような微分の式を書くのに困るような計算相手でも平気なので重宝する。 http://www.kmonos.net/wlog/123.html#_2257111201 がとてもよい紹介。これは自動微分のうちでもフォワードモードというもので、ある一つの変数に関しての微分を計算出来るというやつだが、リバースモードといって多変数関数に対して一気に傾きが計算出来るというものもある。またこれを組み合わせればヘシアンをわりと素早く計算できる。 実装してみたのがこれ。 https://github.com/nos13/autodiff 他人が使うことを微塵も考えてないのでライブラリの体をあまりなしていないが…。
PythonでExcelスプレッドシートを出力しよう
斎藤です。こんにちは。 今日は、Pythonの"xlutils"ライブラリを利用してExcelスプレッドシートの生成をしてみます。「使い方」「書式定義のしかた」そして「注意点」の3点について、順にお話しします。 Excelを用いて、サーバ管理台帳など、ITインフラ運用に用いるドキュメントを作られる方もいらっしゃるかと思います。そのときに、これからお話しする"xlutils"ライブラリを用いると、お手製CSV出力ツールや、それこそ 手動 で作るよりも手間を省きつつExcelスプレッドシートを作成できます。 ※Python 2.7.4, xlutils 1.6.0, xlwt 0.9.2, Excel for Mac 2011 (14.3.6), Mac OS 10.7.5 を用いて検証しています 使い方 インストール インストールはとても簡単です。 # easy_instal xlutils
Wireless devices go battery-free with new communication technique
Engineering | News releases | Research | Technology August 13, 2013 Wireless devices go battery-free with new communication technique We might be one step closer to an Internet-of-things reality. University of Washington engineers have created a new wireless communication system that allows devices to interact with each other without relying on batteries or wires for power. Using ambient bac
[SDL] Quick question regarding distribution
Philip Bennefall philip at blastbay.com Thu Aug 8 01:05:35 PDT 2013 Previous message: [SDL] Quick question regarding distribution Next message: [SDL] Quick question regarding distribution Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Thanks, Sam. I just wanted to make sure. On a different note, if I want to compile SDL into a static library, should I #define any macros in order to
How Not To Sort By Average Rating
By Evan Miller February 6, 2009 (Changes) Translations: Dutch Estonian German Russian Ukrainian PROBLEM: You are a web programmer. You have users. Your users rate stuff on your site. You want to put the highest-rated stuff at the top and lowest-rated at the bottom. You need some sort of “score” to sort by. WRONG SOLUTION #1: Score = (Positive ratings) − (Negative ratings) Why it is wrong: Supp
research!rsc: Hacking the OS X Kernel for Fun and Profiles
My last post described how user-level CPU profilers work, and specifically how Google’s pprof profiler gathers its CPU profiles with the help of the operating system. The specific feature needed from the operating system is the profiling timer provided by setitimer(2) and the SIGPROF signals that it delivers. If the operating system’s implementation of that feature doesn’t work, then the profiler
AWS Command Line Interface(awscli)を使ってみた - 元RX-7乗りの適当な日々
今更な話題ではありますが、Pythonで作られたAWS Command Line Interface(aws-cli: 従来のJavaで動いていたEC2 API Toolsとは別物)を入れて動かしてみました。メモ的な感じで残しておきます。 aws-cliは、pipで管理できるし、これ1つで複数のAWSサービスを扱うことが出来て、かつレスポンスもJSONとかで返ってくるので、なかなか便利です。 $ aws autoscaling ec2 importexport sns cloudformation elasticache opsworks sqs cloudsearch elasticbeanstalk rds storagegateway cloudwatch elastictranscoder redshift sts datapipeline elb route53 support
Chefがつらい人のためのAnsibleのはなし - ゆううきブログ
Chef使おうとしてるけどChefいろいろつらい． 具体的には以下がつらい． 独自概念多い chefのクライアントを対象ホストに入れなければならない knifeとか覚えないといけない外部ツールがある 最初からディレクトリ構成がわいわい (rails newしたときのあのきもち） 公式ドキュメントの量が多いかつわかりにくい 以前にmiyagawaさんのpodcast を聞いてたらnaoyaさんがAnsibleっていうシンプルなプロヴィショニングツールがあるっていう話をされていたので，使ってみた． AnsibleWorks | Radically simple IT orchestration Ansible 触ってて感じるイメージは，ChefがRailsでAnsibleがSinatraな感じ． ディレクトリ構成がない (一応大規模運用を考えたディレクトリ構成のベストプラクティス Best P
MongoDBのCapped CollectionとTailable Cursorを使ったRealTimeAccess集計 - Y's note
Index RealTimeAccess集計 Capped Collection Tailable Cursor まとめ RealTimeAccess集計 RealTimeAccess集計をするためにMongoDBの利用を考えます。サーバーの構成は上図のようなイメージで各種ApplicationServerからFluentdでLogAggregatorにRealTimeでLogデータを転送し、LogAggregator MasterがMongoDBにFluentdで書き込んで行きます。ここで言うRealTimeAccess集計の機能要件を整理すると以下のようになります。 Access発生後、1分以内で集計結果をWebツール上で確認したい。集計区間も1分単位など。 複数条件が指定可能で、柔軟なCross集計がしたい。 RealTimeAccess集計のSystem負荷を出来る限り抑えたい。
Android is better
It was just meant to be a quick experiment. I started using a Nexus 4. I was going to go right back to my iPhone after a week. I was designing more and more Android interfaces at Twitter and realized I needed to more intimately grok Android UI paradigms. A week in it started feeling normal; the larger form factor was no longer a nuisance. A month in I didn't miss anything about my iPhone. Two mont
JavaScript でオセロを実装する(AI高速化編) | Webシステム開発／教育ソリューションのタイムインターメディア
これまでのあらすじ まともなオセロの対戦AIの作成を開始したものの、 「4手先を読む」だけでも検討にかかる時間が長く、 とても快適に遊べるとは言えない状態でした。 これでは肝心のAIの形勢判断を調整する以前の問題であり、 先読みする手数を増やしてAIの「腕前」を上げることも困難です。 先読みする手数を減らせば快適に遊べるようにはなりますが、 それでは「目先のことしか考えない」弱いAIにしかなりません。 どうにかしてAIの動作速度を改善できないものでしょうか。 ボトルネックはどこにあるのか これまでのオセロの作成過程を振り返ってみましょう。 最初に4×4の最小盤面で一人二役で遊ぶものを実装しました。 これはほとんどの部分が関数型で書かれた明瞭簡潔な実装だったのですが、 その引き換えに全局面を事前に計算するという超富豪的な実装になっていました。 この問題に対しては各局面の計算を遅延評価すること
ブラックボックステストとホワイトボックステスト | DevelopersIO
テスト分類のひとつにブラックボックステストとホワイトボックステストがあります。 ブラックボックステストとは、テスト対象の内部を意識せずに外部仕様のみからテストケースを構築していく手法です。ユニットテストであれば、テスト対象となるメソッドの実装（コード）を意識せず、メソッドのAPI仕様からテストケースを作成することになります。 一方、ホワイトボックステストでは、テスト対象の内部を意識し、どのような構造であるかを踏まえたテストケースを構築します。ユニットテストであれば、テスト対象となるメソッドの実装（コード）を意識し、分岐や繰り返しなどを考慮しつつテストケースを作成することになります。 さて、ユニットテストはブラックテストでしょうか？ それともブラックボックステストでしょうか？ 「JUnit実践入門」では次のように記述しました。 本書で扱うユニットテストは、テスト対象の内部ロジックを考慮して行
Cap'n Proto: Cap'n Proto v0.2: Compiler rewritten Haskell -> C++
kentonv on 12 Aug 2013 Today I am releasing version 0.2 of Cap’n Proto. The most notable change: the compiler / code generator, which was previously written in Haskell, has been rewritten in C++11. There are a few other changes as well, but before I talk about those, let me try to calm the angry mob that is not doubt reaching for their pitchforks as we speak. There are a few reasons for this chang
Dagger † Android・Java 対応の高速依存性注入フレームワーク
注意 本日本語訳は、Dagger ユーザガイドの 2013-03-27 時点 からの非公式な翻訳です。最新および正確な情報については、オリジナルのユーザガイドを参照してください。 イントロダクション アプリケーションで最良のクラスとは、何かを実行するクラスです。 たとえば、バーコード読み取りクラス BarcodeDecoder 、 Koopa 物理エンジンクラス KoopaPhysicsEngine、 音楽ストリーミングクラス AudioStreamerといった類です。こういったクラスは別のクラスへの依存性を持ちます（バーコードカメラファインダクラス BarcodeCameraFinder、 デフォルトの物理エンジンクラス DefaultPhysicsEngine、 HTTPストリーミングクラス HttpStreamer 等々）。 一方で、アプリケーションで最悪のクラスとは、ほとんど何もし
Turning the Apple //e into a lisp machine, part 1
Computer "scientist" Alex Clemmer is a computer programmer. Other programmers love Alex, excitedly describing him as "employed here" and "the boss's son". Alex is also a Hacker School alum. Surely they do not at all regret admitting him! personal site @hausdorff_space github.com/hausdorff RSS feed The Hacker School space has an old Apple //e sitting around. Due to the fact that we are hackers, my
Steve Freeman氏とのペアプロ雑感 #tddbc
README.md Steve Freeman氏とのペアプロ雑感 http://tddbc.doorkeeper.jp TDD Boot Camp 2013-07 -- TDDBC で、偶然にもロンドンから来日していたSteve Freeman氏を招くことができた。ちなみに本当に偶然の来日で、その日の夕方にご家族と隅田川の花火を見る予定だったらしい。貴重な時間である。 20分ほど講演していただき、さらに参加者と一緒にペアプロ課題に挑戦してもらった。しかもペアプロでっていう貴重な体験をさせてもらったので、そのことについてまとめたい。 Steve Freeman氏は書籍 "Growing Object-Oriented Software, Guided by Tests" （邦訳「実戦テスト駆動開発」）の共著者の一人で、Javaのモックフレームワーク "JMock"の開発者の一人。当然、自動販
ジェネリクスのカリー化 - プログラマーの脳みそ
関数を扱えるだけでは、モナドを表現するには不十分過ぎる - xuwei-k's blogを見て、言語の型システムの表現力とその限界とはなんなんだろうということをモヤモヤと考えていた。 ここで話題になっているのは型変数を持つ型変数という話題である。これを便宜的に高階型変数とか、高階型と表現している。Javaのジェネリクスで例えれば public class Foo<T<X>> {} といったように型変数Xを持つ型変数Tという表現の話しである。Javaの言語機能的にはコレはできない。 以前、僕の書いたJavaによる高階型変数の実装 - プログラマーの脳みそではこの出来ないはずの高階型変数をJavaの言語機能で実現するにはどうしたらいいかという工学よりの話題で、型理論のような理論よりの話題としてはどう評価するべきなのかちょっとよくわからない。 Higher-kind Generics Scala
Elixir Design Goals
During the last year, we have spoken at many conferences spreading the word about Elixir. We usually started with introducing the Erlang VM, then went on to talk about Elixir goals, saving some time at the end to do a live demo, showing some goodies like exchanging information between remote nodes and even hot code swapping. This post is a summary of those talks, focusing on the language goals: co
markdownでスライド資料を作りたい - でつmblr
HTMLとJavaScriptでスライドを作るならimpress.jsやhtml5slidesなんか使ってゴリゴリとタグで書いたりするけど面倒くさいのでmarkdownとかで書いてガッと変換して欲しい。 のでいろいろ探してひと通り試してみた。 markdown-slider参照：markdownからHTMLスライドをつくるgemを書いた gemhtml5slidesに吐き出すだけのシンプルな構成markdown記法がgithubライクなので個人的にとっつきやすかったmdslide参照：Markdownテキストからスライドが作れるymrlのmdslideが便利 gemテーマ指定やら出力オプションを指定できるっぽいサーバも立てれるruby1.9.2入れてなかったので結局使わなかったmarkdown2impress参照：プレゼンをmarkdownで書いたらええやん perlimpress.js専
Visual Studio Code - NEW FEATURES: 13 Big Debugging Updates (Rich Object Hover, Conditional Breakpoints, Node.js, Mono, & More!) - User Ed - The blog of Ed Price, Customer Program Manager - 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 ...
ClojureScript Core.Async Dots Game
First go ahead and play the current game below. You play by connecting dots of the same color. When you make a cycle of dots, all the dots of that color are erased from the board. Play the game in a window by itself. Here is the full source of the game. This game was developed in Chrome on OSX and on an IPhone 4Gs. If your browser doesn’t support hardware acceleration for CSS 3d transforms, the ga
The Amduscias / FICUSEL
Amdusciasのイメージで。絵 » ネコノミミコ(user/5087270)■制作物リスト mylist/13246638 ■参加作品 mylist/13246587 ■おすすめ mylist/13238130
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日本の大学生におけるうつのしろうと理論 : テキストマイニングによる形態素分析とKJ法による内容分析 | CiNii Research
The Future of Programming in Node.js | Google グループ
r/haskell - A great series of posts on the power of monoids
Graphs: a Balancing Act
Using SymPy within Theano
GitHub - etaty/rediscala: Non-blocking, Reactive Redis driver for Scala (with Sentinel support)
Learn by Example: Scala Parser Combinators - Paul Schoenfelder
GitHub - silvasur/gomcmap: Reading and modifying Minecraft maps in Go.
hitoyam.com
【五泉菜摘】サイコパス【自作ボーカル曲】
【五泉菜摘】わたしグラジュエーション【自作ボーカル曲】