はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

  • はてなブックマークって?
  • アプリ・拡張の紹介
  • ユーザー登録
  • ログイン
  • Hatena

はてなブックマーク

トップへ戻る

  • 総合
    • 人気
    • 新着
    • IT
    • 最新ガジェット
    • 自然科学
    • 経済・金融
    • おもしろ
    • マンガ
    • ゲーム
    • はてなブログ(総合)
  • 一般
    • 人気
    • 新着
    • 社会ニュース
    • 地域
    • 国際
    • 天気
    • グルメ
    • 映画・音楽
    • スポーツ
    • はてな匿名ダイアリー
    • はてなブログ(一般)
  • 世の中
    • 人気
    • 新着
    • 新型コロナウイルス
    • 働き方
    • 生き方
    • 地域
    • 医療・ヘルス
    • 教育
    • はてな匿名ダイアリー
    • はてなブログ(世の中)
  • 政治と経済
    • 人気
    • 新着
    • 政治
    • 経済・金融
    • 企業
    • 仕事・就職
    • マーケット
    • 国際
    • はてなブログ(政治と経済)
  • 暮らし
    • 人気
    • 新着
    • カルチャー・ライフスタイル
    • ファッション
    • 運動・エクササイズ
    • 結婚・子育て
    • 住まい
    • グルメ
    • 相続
    • はてなブログ(暮らし)
    • 掃除・整理整頓
    • 雑貨
    • 買ってよかったもの
    • 旅行
    • アウトドア
    • 趣味
  • 学び
    • 人気
    • 新着
    • 人文科学
    • 社会科学
    • 自然科学
    • 語学
    • ビジネス・経営学
    • デザイン
    • 法律
    • 本・書評
    • 将棋・囲碁
    • はてなブログ(学び)
  • テクノロジー
    • 人気
    • 新着
    • IT
    • セキュリティ技術
    • はてなブログ(テクノロジー)
    • AI・機械学習
    • プログラミング
    • エンジニア
  • おもしろ
    • 人気
    • 新着
    • まとめ
    • ネタ
    • おもしろ
    • これはすごい
    • かわいい
    • 雑学
    • 癒やし
    • はてなブログ(おもしろ)
  • エンタメ
    • 人気
    • 新着
    • スポーツ
    • 映画
    • 音楽
    • アイドル
    • 芸能
    • お笑い
    • サッカー
    • 話題の動画
    • はてなブログ(エンタメ)
  • アニメとゲーム
    • 人気
    • 新着
    • マンガ
    • Webマンガ
    • ゲーム
    • 任天堂
    • PlayStation
    • アニメ
    • バーチャルYouTuber
    • オタクカルチャー
    • はてなブログ(アニメとゲーム)
    • はてなブログ(ゲーム)
  • おすすめ

    参議院選挙2025

『Biography · Keichi Takahashi』

  • 人気
  • 新着
  • すべて
  • Parsecで数式のパーサを書いてみた(Applicative Functor版あり) | a posse ad esse

    3 users

    keichi.net

    wvogel00のために、昔書いたParsecを使ったコードを載せてみます。コメントに書いてあるのはコードに直す前のEBNFです。 import Text.ParserCombinators.Parsec run :: Show a => Parser a -> String -> IO () run p input = case (parse p "" input) of Left err -> do putStr "parse error at " print err Right x -> print x --expr = factor ('+' factor | '-' factor)* expr :: Parser Float expr = do l <- factor rs <- many ((do char '+' n <- factor return $ (+) n ) <|

    • 世の中
    • 2012/11/28 09:55
    • F#でモナディックパーサコンビネータを書いた | a posse ad esse

      3 users

      keichi.net

      先日の日記の続きです。 FUNCTIONAL PEARLS Monadic Parsing in Haskell を参照して、(というかほぼHaskell->F#の写経)モナディックなパーサコンビネータをF#で書いてみました。速度・機能などはまったく実用に耐えませんが、移植の過程でかなりパーサコンビネータに対する理解が深まりました。上のpdfはとてもわかりやすく解説されており(学生のために書かれた文書のようです)、パーサコンビネータを実装した事のない人、僕のようにパーサコンビネータ自体知らない人には最適な入門となると思います。 ところでパーサコンビネータができたのは良いのですが、いざこれを使おうとすると、文法定義はまだ良いもののセマンティックアクションを実装しようとするとラムダ抽象のネストになってしまいます… Computation Expressionなどを使ってインターフェー

      • 学び
      • 2012/10/27 10:11
      • F#
      • haskell
      • HaskellでSQLiteを使う | a posse ad esse

        3 users

        keichi.net

        HaskellでDBを操作するならHDBCを使うのが定石だとは思うんですが、やりたいことが簡単でかつSQLiteで十分だったので、Database.SQLiteを使ってみました。 使い方 SQL文を発行する 最初にsqlite3本体と、cabalでsqliteパッケージをインストールする必要があります。 使い方は簡単で、openConnectionで接続で開き、execStatementでSQL文を発行して、結果を取得します。execStatementの返値は多相で、Either String [[Row String]] 、Either String [[Row Value]]、Either String [[Row Value]]のいずれかを選べます。 Either String [[Row String]] ならLeftがエラーで、Rightなら列名と値のタプルのリストのリストのリス

        • 学び
        • 2011/07/29 11:24
        • sqlite
        • Haskell
        • database
        • C#でニコニコ動画の動画をダウンロードする | a posse ad esse

          4 users

          keichi.net

          タイトル通り、ニコニコ動画の動画をダウンロードするクラスをC#で書いてみました。大まかな手順は以下の通りです。 まずhttps://secure.nicovideo.jp/secure/login?site=niconicoにニコニコ動画登録時のメールアドレスとパスワードをPOSTで送信します。このときのCookieは保存しておきます。 xxxを動画IDとして、http://ext.nicovideo.jp/api/getflv/xxx?as3=1を1.で取得したセッションIDを用いてGETします。すると、以下のようなリスポンスが返ってきます。 thread_id=1271590831&l=386&url=http%3A%2F%2Fsmile-cll26.nicovideo.jp%2Fsmile%3Fv%3D10432897.62944low&link=http%3A%2F%2Fwww.s

          • 学び
          • 2011/03/05 23:39
          • C#
          • ニコニコ動画
          • API
          • C#でニコニコ動画APIへアクセスするライブラリを書きました | a posse ad esse

            4 users

            keichi.net

            前回「明日公開します」とか言っておきながら、気づいたら2週間経ってました…すみません、いい加減公開します。 薄っぺらいラッパーなので、微妙にめんどくさいところもありますが、とりあえず動きはします。以下は大体こんなことができるよーっていうサンプルコードです。 サンプルコード using System; using System.Linq; using NicovideoUtil; namespace NivovideoUtilTest { class Program { //メールアドレス private const string LOGIN_MAIL = "***@***.***"; //パスワード private const string LOGIN_PASS = "***"; //動画ID private const string TEST_VID_ID = "sm***"; sta

            • 暮らし
            • 2011/03/05 23:38
            • ニコニコ動画API
            • C#
            • ニコニコ動画
            • ライブラリ
            • プログラミング

            このページはまだ
            ブックマークされていません

            このページを最初にブックマークしてみませんか?

            『Biography · Keichi Takahashi』の新着エントリーを見る

            キーボードショートカット一覧

            j次のブックマーク

            k前のブックマーク

            lあとで読む

            eコメント一覧を開く

            oページを開く

            はてなブックマーク

            • 総合
            • 一般
            • 世の中
            • 政治と経済
            • 暮らし
            • 学び
            • テクノロジー
            • エンタメ
            • アニメとゲーム
            • おもしろ
            • アプリ・拡張機能
            • 開発ブログ
            • ヘルプ
            • お問い合わせ
            • ガイドライン
            • 利用規約
            • プライバシーポリシー
            • 利用者情報の外部送信について
            • ガイドライン
            • 利用規約
            • プライバシーポリシー
            • 利用者情報の外部送信について

            公式Twitter

            • 公式アカウント
            • ホットエントリー

            はてなのサービス

            • はてなブログ
            • はてなブログPro
            • 人力検索はてな
            • はてなブログ タグ
            • はてなニュース
            • ソレドコ
            • App Storeからダウンロード
            • Google Playで手に入れよう
            Copyright © 2005-2025 Hatena. All Rights Reserved.
            設定を変更しましたx