ようこそ。睡眠不足なプログラマのチラ裏です。

TypeProvider に関するちょっとした小ネタ集

F# Advent Calendar 2016 の 22日目の記事です。 TypeProviderについては以前、 型プロバイダー(TypeProvider)のちょっとしたアレコレというのを書きました。 書いたのはそーとー前ですが、今でも割と役に立つかもしれない以下の話題について扱っているので…

Comm Tech Festival D-3 「open FSharp」 (続きはWebで)

@ufcpp さんにお話しをいただいて Comm Tech Festival に参加してきました。ありがとうございました。 comuplus.doorkeeper.jp 「open FSharp」というタイトルで発表させていただいたのですが、時間配分がうまくいかずにスライドの最後まで紹介することがで…

F# Build Tools for Unity(ゲームのやつ) - UniFSharpのご紹介

これは F# Advent Calendar 2014の延長戦、 30 日目の記事です。 書いたきっかけ @zecl ML Advent カレンダーに書いてくださいよーw F#の人達は知ってるけど、MLな人は知らないとかあるかもしれないですし。— h_sakurai (@h_sakurai) 2014, 12月 10 結局、25…

型プロバイダー(TypeProvider)のちょっとしたアレコレ

一応、型プロバイダー(TypeProvider)のとりとめもない話 の続き。 ちょっと草植えときますね型言語Grass型プロバイダーを作った後、少し思い違いをしていた事に気付いたのが事の発端。この記事では、FsBulletML.TypeProvidersを作成する過程で得た、型プロバ…

型プロバイダー(Type Provider)のとりとめもない話

だらだらと型プロバイダー(Type Provider)のとりとめもない話。ほとんど内容はないよう。 型プロバイダーって何? F#3.0 から利用できる目玉機能のひとつ。 これが発表されたとき、「LINQ + Type Providers = Information Rich Programming」なんて言われて…

printf系の "%A" 書式指定子における型の表示レイアウトのカスタマイズ

判別共用体を文字列として出力する際に、ケース識別子を宣言する型(判別共用体)の名前を含めたフルネームで文字列化したくなったときのお話。 たとえば、以下を実行すると = | Leaf of 'T | Node of Tree * Tree let tree1 = Node(Node(Leaf("a"),Node(Lea…

判別共用体で型付きDSL。弾幕記述言語BulletMLのF#実装、FsBulletML作りました。

この記事はF# Advent Calendar 2013の20日目です。 遅ればせながらThe Last of Usをちびちびとプレイ中。FF14のパッチ2.1が先日リリースされ、メインジョブ弱体化にもめげず引き続き光の戦士としてエオルゼアの平和を守り続けている今日この頃。艦これは日課…

幸せすぎると 恐くなるの コップの水が溢れだすように

HOME MADE 家族 - Love is... feat. Ms.OOJA (Short ver.)

勇気を出して GO! GO! GO FOR IT !! 明日 キミにメールしようかな

西野カナ / GO FOR IT!!

VB、C#、F# それぞれのインデクサ。F# コンパイラのソースを読んで。

F# コンパイラのソースを読んで はぇ〜さん(@haxe) とtwitterにて、以下のようなやり取りがありました。 ところで #fsharp の for m in Regex.Matches(input, pattern) do () はGetEnumerator()をしてくるわりに、m : Match に解決してくれるのはなんでだろ…

どんなに小さな光でも 進むべき道を求めてる そんな僕の声を 僕がみつけてあげなきゃ

日之内エミ - 小さな光

クリップボードの文字列を、「突然の死」テンプレートに置き換えるやつ

元ネタ 「突然の死」をTwitterへ簡単に送り出せる「突然の死ジェネレータ」 - GIGAZINE http://gigazine.net/news/20120703-suddenly-death/ _人人人人人_> あなた <> と <> JAVA < ̄Y^Y^Y^Y^Y ̄なんとなく、複数行に対応URL2013-05-10 14:57:53 via…

マルコフ連鎖とビタビアルゴリズム(HMM)を F# で。

元ネタ昼食時に店で流れていた、大事MANブラザーズバンド「それが大事」の歌詞が、あまりに繰り返しばかりなので、状態遷移図を作りました。どうぞご利用下さい。 http://youkoseki.com/soregadaiji/ 「それが大事」にマルコフ連鎖を適用してみる https://ww…

嫌なことがあった日も君に会うと全部フッ飛んじゃうよ

"宇多田ヒカル (Utada Hikaru) - Automatic" Cover By CREAM 最近、よくCREAMを聴いております。

ステップアップでわかるコンピュテーション式。TryWith や TryFinally などの実装にぜひ活用したい Delayと Run

全国1億2千万人の F# ファンの皆様いかがお過ごしでしょうか。理解できるわけもないとわかっていながらも調子に乗って「型システム入門 プログラミング言語と型の理論」を買ってしまった系の痛いおじさんです。10年後、20年後にわかることができてたら…

大丈夫僕らまだこんなに笑える 迷子になったって月明かりを探せる

RAM WIRE - 大丈夫、僕ら

すべての F# ユーザーが今すぐ導入すべき拡張機能 F# snippet を導入しよう

twitter や facebook こういった SNS があなたの仕事の邪魔をしている。いつ仕事をするか?その合間でしょ?(逆でしょ!) そんな今日この頃ですがみなさんいかがお過ごしでしょうか。 F# HACKATHON in sapporo [2013/03/23(土)] は、リモートでの参加も…

すごいH本の素朴な確率モナド

年末年始の連休から中五日あっての三連休で、正月ボケをぶり返してしまいそうな今日この頃ですが、いかがお過ごしでしょうか。 すごいH本こと、書籍「すごいHaskellたのしく学ぼう!」の最後のほう、第14章「もうちょっとだけモナド」の 14.8 (P356)にて、…

白いヒゲは付いてないけど クリスマスには 私、あなたのサンタクロース 願いを叶えに行くよ

【初音ミク】PSGO-Z The Christmas (Full size ver.)【オリジナル】

Mが如くF#ive 夢、叶えしMono

この記事は、F# Advent Calendar 2012 の12日目です。ひとつ前の記事は@katayama_kさんの「スキャナが出力したPDFを、出力デバイスに合わせて変換しよう-F#マスターへの道」です。ありがたいことにソースコードを公開してくださっているので、iTextSharpを使…

時が僕らを急かして 鼓動がスピード上げてった 夢の中で目覚めても 同じ光を探した

シュノーケル - 波風サテライト

圏論でアハ体験

もう1週間以上前になりますが、Code2012という合宿イベントに参加してきました。いろいろな方との交流あり、温泉あり、クラウディアさんありと大変楽しかったので、ぜひ来年も参加したいです。 で、VBerのくせにそちらで「5分じゃわからないモナド - 圏論な…

光り続けろ Endless(Yeah) Wowow あの太陽よりも熱く

湘南乃風 - 炎天夏

はじめの一歩。まずはパイプライン演算子と合成演算子から。

今月末の7月28日、29日と、Code2012という合宿イベントに参加する予定です。F#や関数型について語り合える人がいない場合は割とボッチになりそうな気もしていますが...、それならそれで適当に楽しんでこようと思っています。というわけで、いつものように「…

誰に何と言われようが 笑われたって関係ないから ダダこね生きてきたけれど あながち間違ってもなかったわ

CHEHON - 4ever

F#で shift/reset プログラミング。限定継続(風)モナドで四天王問題を解く。

発売されてすぐにPSVitaのP4Gをダウンロードしたのだが、どちらかというとエヴィディ・ヤングライフ・VB6♪な生活を送っていてなかなかプレイする暇がなくてつらい。今日はGoAzureのゆーすと見たり、この記事をこしらえていたりな休日を過ごしていましたが、…

もうどうなってもいい 望みを言えるのなら

PES from RIP SLYME - 女神のKISS リーガル・ハイ面白いですな

F#3.0で加速する言語指向プログラミング(LOP)。コンピューテーション式はもはやモナドだけのための構文ではない!!!

マーチン・ファウラー先生の黒いDSL本(翻訳版)が5月2日に発売されました。遅ればせながら私も最近購入して熟読しているところです。 この本が示すDSLの種類や内容は、あくまでもオブジェクト指向というコンテキストにおいてのものであり、関数型言語によるDS…

F#で逆FizzBuzz問題

元ネタ 逆FizzBuzz問題 (Inverse FizzBuzz) - 猫とC#について書くmatarilloの雑記 http://d.hatena.ne.jp/matarillo/20120515/p1 面白いなあ / “逆FizzBuzz問題 (Inverse FizzBuzz) - 猫とC#について書くmatarilloの雑記” URL2012-05-16 12:30:42 via Hatena…

心から 感謝の気持ちをそっと伝えたい

LGYankees Dear Mama feat.小田和正

観たやつ

#737. カフーを待ちわびて #738. ゴージャス #739. サイダーハウスルール #740. ビッグリバー #741. DOCUMENTARY of AKB48 to be continue #742. ICHI #743. シーズンチケット #744. ポリスアカデミー #745. モールス #746. ランダムハーツ #747. ドラえもん…

F#で簡素なモゲマスコンプガチャシミュレータ

椎名林檎「自由へ道連れ」をヘビロテしすぎて脳内無限ループしている今日この頃ですが、皆様いかがお過ごしでしょうか。 時事ネタとしては旬を逃した感じですが、簡素なコンプガチャシミュレータをF#で書いてみました。 とは言っても、この記事で伝えたいこ…

絶望的に君は綺麗さ

AKINO with bless4 - パラドキシカルZOO

ScalazのValidationもFSharpxのValidationもApplicative

ドラゴンズドグマが楽しみだったり、しおりを温めていたScala実践プログラミングの読書を再開したりな今日この頃。 ご多聞に漏れずわたくしも五月病なので軽めのネタで。とゆーかですね、FSharpxのステマです。 FSharpxのValidationでFizzBuzz元ネタScalazの…

Retry Monad for Transient Fault Handling (Topaz + FSharpx)

4月14日に札幌で行われた第69回CLR/H勉強会にて、「Retry Monad for Transient Fault Handling - F#とWindows Azure と私 -」と題して、ライトニングトークで発表しました。 Retry monad for transient fault handling View more presentations from zecl123…

knockout.jsを利用したMVVMによるコンポーネント作成。WebGridの基本的な使い方と、Pagerヘルパーの利用。

MSDN - Code Recipeに初投稿しました。WebGridに関するまとまった説明や、ページングに関するTipsもなぜか少なかった気がしたので、書いてみました。 サンプルコードを書いただけで力尽きたので細かい説明はありませんが、詳細については以下をご覧ください…

愛しい人 君はいまどうしている? 僕は5杯目のコーヒー淹れるか 迷ってるところなんだ やけにシンクロして嫌になるなぁ

NICO Touches the Walls - 恋をしよう

すべてが嘘に溢れてても 信じることに疲れても 君が側にいるならば

日之内エミ - 小さな光 feat. AZU

観たやつ

感想とかは省略。 #582. 海猿 ウミザル #583. LIMIT OF LOVE 海猿 #584. キャッチ・ミー・イフ・ユー・キャン #585. バウンド #586. トゥームレイダー2 #587. ユージュアル・サスペクツ #588. スリーピング・ディクショナリー #589. 幸せになるための27の…

いまさらASP.NET MVCのモデルバインダ入門あれこれ。MEFのカスタムエクスポートプロバイダーは設計の幅を広げる。自動拡張型カスタムモデルバインダプロバイダーを作ろう。

http://www.asp.net/ ASP.NET MVC4 Betaがリリースされまして、WebAPIいいね!な今日この頃。誰が言ったか、これから求められるIT技術は、Web、クラウド、関数型言語の三本柱らしいです。とは言っても、世の中にはさまざまな技術が溢れています。.NETerなわ…

行き先に安らぎはない 立ちな さぁ Don't give up the fight 今、そうこの瞬間も Die die die

RIP SLYME - Super Shooter

Windows AzureとMEFで再デプロイを必要としない拡張(または縮小)可能なクラウドアプリケーション。BlobストレージからMEFのパーツを検索できるカスタムカタログ BlobStorageCatalog を作ろう。

しばらくF#ネタしか書いていませんでした。たまにはC#ネタを置いておきます。 C#ネタというよりは、最近仕事で利用しているWindows AzureとMEFのネタですが。 Managed Extensibility Framework (MEF)とはManaged Extensibility Framework (MEF) は、.NET Fra…

F# Implementation of BackPropagation Neural Network for Pattern Recognition(LifeGame)

この記事は、F# Advent Calendar 2011の21日目です。 きっかけは、11月19日に札幌で行われた第64回CLR/H勉強会で、愛甲健二さん(@07c00)がお話してくれた「コンピューターに萌えを教えてみたよ」というセッションです。「アダルトサイトの検知」のメカニズム…

観たやつ

#572. ゴールデンスランバー 面白く観れたのですが、いろいろ違和感もある。 狂った殺人犯を演じた濱田岳が意外とあってたかな。 #573. ダイヤモンド・イン・パラダイス これはなかなかよい娯楽映画。 FBI捜査官スタンとのからみがいい味でてると思う。 #574…

痛み重ねて 一つ 素直になれると 前を見て生きること 教えてくれた

曽根由希江 - ノラ猫と少女

パケットの送受信量(F#) - ループとbreak

元ネタ パケットの送受信量 (C#)(F#) - SIN@SAPPOROWORKSの覚書 http://d.hatena.ne.jp/spw0022/20111116/1321437712 F#のwhileにbreakが無いのを知って愕然とした。F#では通常、whileは使用しないのかな? URL2011-11-16 19:01:55 via Hatena 確かにC#やVB…

観たやつ

#552. チャットルーム 中田秀夫監督作品。実際にはネット越しでチャットしている様子を、 直接会話しているようなビジュアルで表現されている。最初分かりにくかった(ぇ あまり見どころもない割に最後の後味もよくない。ん〜。 #553. アヒルと鴨のコインロッ…

You've got my heart in you hands. You'er the only one who gets me.

Kylee - You Get Me

吸い込んで確かめて 最先端未来の空気を

東京事変 - 21世紀宇宙の子

ARPテーブルの取得(F#) おまけもあるよ。

元ネタ:ARPテーブルの取得 (C#)(F#) - SIN@SAPPOROWORKSの覚書 http://d.hatena.ne.jp/spw0022/20111108/1320700838 SINさんがF#を書きまくっている今日この頃。F#の街札幌のF#りょくの高まりを感じざるを得ない。 F#らしい書き方かどうかはわかりませんが…