タグ

ブックマーク / matarillo.com (5)

  • The Early History of F# | matarillo.com

    2021-09-25 00:00:21 原文 DON SYME, Microsoft, United Kingdom 推敲: Philip Wadler, University of Edinburgh, UK 稿は、F# プログラミング言語の起源と初期の歴史について説明します。 まず、1970年代、80年代、90年代の強く型付けされた関数型プログラミング(FP)の起源から始めます。 同時期にMicrosoftが設立され、成長してソフトウェア業界を支配しました。 1997年に、Javaへの応答として、Microsoftは内部プロジェクトを開始しました。これは最終的に.NETプログラミングフレームワークおよびC# 言語になりました。 1997年から、ケンブリッジのMicrosoft Researchで学術的な関数型プログラミングと産業界が結合しました。 研究者たちは、Project 7、つ

    matarillo
    matarillo 2019/02/02
    tl;dr:筋金入りMLer/MS♡OSSはワシが育てた/.NET本体の後追い機能をF#がサポートし直すのはイラッとする/昨今の関数型ブームはF#とScalaが引っ張った/そのScalaにも影響与えたった
  • matarillo.com: モナド - みんな大好き、モナドに関する記事の一覧

    2018-06-30 11:07:18 みんな大好き、モナドに関する記事の一覧 Fabulous Adventures In Coding 元MSのC#コンパイラーチームの主任デベロッパー、その後コベリティを経て現在はFacebookにいるEric Lippertのブログで連載されていたモナドの解説記事の翻訳。 パート1 モナド・パターンは型に関するパターンである。 パート2 モナド的な型についていくつか実例を紹介し、共通点を知る。 パート3 モナド的な型に対してある演算を行い、ルールを2つ見出す。 パート4 2つ目のルールを一般化できないか試す。 パート5 一般化した2つ目のルールをさらに変更し、当のルールを得る。 パート6 2つのルールにいくつかの制約を追加する。 パート7 最後の制約を説明し、制約のことをモナド則と呼ぶ。 パート8 モナド生成処理と関数適用処理の伝統的な名前を紹介。

    matarillo
    matarillo 2013/04/06
    一区切りついた
  • PDC10

  • 清水市代女流王将 vs あから2010

    持駒 後手 先手 棋譜 コメントアウトするのやめました。 ▲2六歩△3四歩▲7六歩△3三角▲同角成△同桂▲7八金△4二飛▲4八銀△6二玉▲6八玉△7二玉▲2五歩△8二玉▲7七玉△2二飛▲8八玉△7二銀▲5六歩△4二銀▲3六歩△5四歩▲3七桂△5三銀▲9八香 △4四角▲7七角△同角成▲同金△6四銀▲5九金△4四角▲4六歩△6五銀▲4五歩▽同桂▲同桂△5六銀▲5三桂打△5一金左▲6一桂成△同金▲6六金打△4五銀▲2四歩△同歩▲3一角△2三飛▲4二角成△7四桂 ▲5七銀△8五桂▲6八金△7七桂成▲同金△6六桂▲同銀△5二金打▲3二馬△2二飛▲同馬△同角▲8六桂△6九金▲7八金△5七角▲7七銀△5六銀▲5八飛△5五角▲4九飛△7九金▲同金△6七銀成▲5七飛△同成銀▲6六角 △5八飛▲9九玉△8五銀▲5九金△3八飛成▲5七角△8六銀▲6六銀打△9五桂 86手で後手の勝ち CM ボナンザVS勝負脳―最

    matarillo
    matarillo 2010/10/11
    jQueryとかで動かしたら面白いかも。でも時間がないからやれないな……
  • グラフの自動レイアウトに挑戦 | matarillo.com

    2022-08-12 13:37:22 追記 (2022/8) もともとは、Windowsアプリケーション(.NET Windows Formsアプリケーション) として実装していましたが、再公開を機にJavaScriptに移行しました。 きっかけ Nintendo DSのパズルゲーム「レイトン教授と最後の時間旅行」で出題された問題に、複雑に絡まったトンネルが出てくる。 これを解くときに、道が絡まったままだと頭がこんがらがるので、交点に番号を振り、 位置を入れ替えて見やすくした。 これをコンピュータにやらせたら面白いのでは?というのがこの連載記事のきっかけだ。 目次 #1 グラフ構造をSVGで表示 ノード(節点)とエッジ(線)のデータをSVGで表示する。 #2 ばねモデル Eadesのばねモデルをオイラー法を使って実装し、アニメーションさせる。 #3 ノードをドラッグできるようにする ばね

    matarillo
    matarillo 2009/11/04
    セルクマ
  • 1