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

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

アプリで開く

はてなブックマーク

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

はてなブックマーク

トップへ戻る

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

    参議院選挙2025

『konn-san.com 建設予定地』

  • 人気
  • 新着
  • すべて
  • CaTeX(軽鳥/怪鳥)で快適 LaTeX ライフ in VSCode

    3 users

    konn-san.com

    CaTeX のご紹介 Visual Studio Code に乗り換えたというのは前の記事でも書きましたが、その際には LaTeX を編集するのに YaTeX の代替がないのが不満、という話をしていました。 そこで、僕がVSCodeに足りないと思っている YaTeX 機能を実現する機能拡張 CaTeX をリリースしました! 有り難いことに、YaTeX 公式でもご紹介頂いています。 先日の研究集会のスライドは CaTeX で書き進めて、今は一段落しています。 とはいえ、これからD論を書くので、まだドッグフーディングは続いていくと思います。 というわけで、今回は、CaTeXのアレコレについて説明させて頂こうかなと思います。 名称 YaTeX ファミリーは TeX\TeXTE​X が日本語で「てふ」と呼ばれがちなことを逆手にとって、和名として「○○てふ」→「○○鳥」を名乗ることが多いです。 今回

    • テクノロジー
    • 2019/12/10 16:26
    • Emacs から Visual Studio Code に乗り換える作業のメモ

      3 users

      konn-san.com

      発端 発端という程のことは何もないんですが、Emacs のプラグインが肥大化するに伴なって、食い合せが悪くて変な挙動をしたり、バージョンを上げたらパッケージが動かなくなったり……といったことにいい加減辟易してきました。 最近はよくわらないタイミングでビジーになったり死んでしまうことも多くなってきたので、いっそモダンなエディタに乗り換えよう、という機運でした。 そんな中で VSCode (Visual Studio Code) を選んだのは、何か最近話題になっていたからというのと、Atom があんまり手に合わない印象があったから、あと TL で VSCode 使ってる人が多かったからという感じで、まあ特に理由はないです。 要件 とはいえ、Emacs ではかなりカスタマイズを進めていたので、VSCode に移行するに当っては以下の要件が満たされて欲しい、という思いがあります。 マトモな Has

      • テクノロジー
      • 2019/03/04 17:42
      • Haskellerの私的Rustチートシート

        28 users

        konn-san.com

        Rustに入門したので、適宜HaskellのこれはRustのこれ、ということをここに蓄積していって、個人的なチートシートにする。 Borrow と Ownership 基本的に Region Monad と線型型(呼ばなくても良いので正確にはアファイン型)が組込みだと思えばよい。 { から } までの間でスコープが区切られ、スコープごとに Drop (=free)がされる。 プロジェクト管理 Stack に当たるのが cargo stack.yaml は Cargo.toml コードは src 直下固定。src/main.rs が Main.hs 相当で、src/lib.rs がライブラリのルートに当る。 モジュールシステム 一つの .rs ファイル内で複数のモジュールを、ネストして定義出来る。 mod a; のように定義を省略した場合、a.rsの内容がモジュール a の定義として扱われる

        • テクノロジー
        • 2018/08/27 02:48
        • Rust
        • Haskell
        • あとで読む
        • プログラミング
        • SATySFiを使ってみた

          9 users

          konn-san.com

          • 学び
          • 2018/03/05 15:43
          • Not Found

            22 users

            konn-san.com

            • テクノロジー
            • 2017/09/04 12:00
            • iPad
            • sony
            • あとで読む
            • freer-ppl16.key

              9 users

              konn-san.com

              Freer Monads, More Extensible Effects PPL 2016
 岡山県玉野市 2016/03/08 Oleg Kiselyov Tohoku University Hiromi ISHII University of Tsukuba (Originally Published in Haskell Symposium '15) Table of Contents • Background: Monad Transformer • Extensible Effects • More Extensible Effects • Examples • Benchmarks • Conclusions Background Background モナド:関数型言語で命令的に副作用を記述する方法の一つ Background •問題:モナド(=副作用)の合成 モナド:関数型言

              • 世の中
              • 2016/03/08 11:15
              • Monad
              • Haskell
              • QuickCheck / SmallCheck の紹介 〜オートマトンの例を通して〜

                3 users

                konn-san.com

                オートマトンの設計 大学で計算理論の講義を取っていて,宿題で「n の倍数となる2進数文字列を受理するオートマトンの状態遷移図を描け(n=2,3,4,6)」と云う問題が出ました. まあそれは剰余に注目すれば簡単に解ける訳ですが,どうせなので状態数をゴルフしよう1と思ったりするわけです. その為には,同じ入力に対して次の状態が同じものを同一視してやればいい2訳ですが、合ってるとは思ってもちょっと不安です. そこで,Haskell の QuickCheck / smallcheck を使って、どうやら大丈夫そうだぞ、と云うのを確かめてみることにしました. QuickCheck / smallcheck とは? QuickCheckというのは,既に知っているひともいるかと思いますが、簡単に云って乱数テストを自動的に実行してくれるようなライブラリです.函数やデータ構造が満たしてほしい性質を記述すると

                • 学び
                • 2016/02/24 10:40
                • さらば愛しき JavaScript —— 愛と欲望の果てに Haskell は fay と出逢う。

                  3 users

                  konn-san.com

                  さらば愛しき JavaScript —— 愛と欲望の果てに Haskell は fay と出逢う。 konn-san.com これは Haskell Advent Calendar 2012 の七日目の記事です1。 導入:JavaScript Problem JavaScript Problem と呼ばれるウェブ開発上の問題があり、手短にまとめてそれは概ね次のようなパラドックスの形を取る。 JavaScript はクソである。 JavaScript は必要である。 何を云うのだ、JavaScript は決してクソなどではない、そんなことを云う Haskell の方こそがクズなのだと云う方も居られるだろう。しかし、これを云ったのは私ではないし、私はフレーム合戦を始めるためにこの文章を書こうという訳では勿論ない。 上の要約を存在命題の形に言い直せば、幾分わかりやすくなるかもしれない。 Java

                  • テクノロジー
                  • 2015/07/07 21:52
                  • GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜

                    6 users

                    konn-san.com

                    konn-san.com 建設予定地 Blog GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 konn-san.com 型であそぼう! みなさん今日は!遂にHaskell Platform 2012.2.0.0 がリリースされましたね! そこでこの記事では、シンプルな例を通して、GADTs や型族、更には GHC 7.4.1 の新機能であるデータ型の昇格と制約カインド、などといった型レベルプログラミングの機能を紹介していきたいと思います。こちらが題材となるソースコードです。 問題:リストの要素を関数に渡したい Haskell を学びたての頃によくしがちな間違いとして、リス

                    • テクノロジー
                    • 2015/06/14 15:01
                    • ghc
                    • Haskell ではじめるふわとろ Cocoa アプリ開発

                      13 users

                      konn-san.com

                      この記事はHaskell Advent Calendar 2014 の 13日目の記事です1。前日はarrowM さんの「Haskell rest フレームワークでREST API設計をサボる」、翌日はsolorabさんの「Haskellのlensの使い方」です。 HaskellでCocoaアプリ開発、したいですよね?したくない人は存在しないと仮定しても一般性を失わない筈なので、存在しないとして以下議論しましょう。というわけで、対象読者は、これから Cocoa アプリ開発で Haskell を使いたいと思っている Haskell プログラマです。Objective-C (以下、Obj-C)がなんとなく読めればよりよいでしょうが、私じしんそこまで Obj-C は得意ではないので、まあ読めなくても何とかなるでしょう。また、本稿では OS X 向けの Cocoa 開発を対象とし、iOS アプリの

                      • テクノロジー
                      • 2014/12/30 11:07
                      • haskell
                      • Cocoa
                      • OSX
                      • あとで読む
                      • Mac
                      • プログラミング
                      • 数学関係をまとめておくばしょ

                        3 users

                        konn-san.com

                        取り急ぎ数学関係の記事を纏めておくばしょです。内容の正確性などについては保証しません。 コンテンツ一覧 全ての実数の集合をLebesgue可測にする 〜Solovayモデル入門〜 - 2024/10/12 14:00:00 JST 「ZF+DC\mathrm{ZF}+\mathrm{DC}ZF+DC + 任意の実数の集合がLebesgue可測」になる集合論のモデルSolovayモデルについてalg-dチャンネルで喋った時の資料です。 数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - 2024/09/18 13:27:51 JST 2024年後半におるうぇ君、るじゃ氏、こりーさんなどとやっている強制法自主ゼミの発表資料です。 私とおるうぇ君とで、ロジックの基礎からはじめて強制法の基本を他の参加者に叩き込もうという会です。目標はCH\mathrm{CH}CHの独立性証明

                        • 学び
                        • 2014/08/09 12:53
                        • あとで読む
                        • latexmk で楽々 TeX タイプセットの薦め(& biblatex+biberで先進的な参考文献処理) - konn-san.com

                          58 users

                          konn-san.com

                          latexmk で楽々 TeX タイプセットの薦め(& biblatex+biberで先進的な参考文献処理) konn-san.com OMake はもう古い!latexmk で快適 TeX コンパイルのススメ TeX のタイプセットって面倒ですよね。数式番号をちゃんと出力するには二、三回タイプセットする必要がありますし、参考文献を自動処理しようとすると、latex と bibtex を交互に呼んだりしないといけなくなります。こういう手順を自動化できたら便利ですよね。あと、ファイルを保存する度にいちいち手動で一からコンパイル仕直すのも手間です。ファイルを変更したら自動的に PDF を生成してくれるような仕組みがあったら楽なんですけどねえ。 ……というような用途だと、昔は OMake が有名で、OMake を使ったら 身長が5cm伸びて彼女が出来た というような記事までありました。すごいです

                          • 学び
                          • 2014/01/29 22:06
                          • LaTeX
                          • TeX
                          • bibtex
                          • 論文
                          • tips
                          • 設定
                          • 研究
                          • latexmk
                          • 定理証明系 Haskell

                            32 users

                            konn-san.com

                            この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き言語だ。それだけでなく、強力な型推論や表現力の高い型システムを備えている。 型とは何だろうか。 こうした質問に対してよくある答えは、「値の種類を区別するためのタグ」になるだろうか。Int型は整数だし、Bool型は真偽値で、[Int]型は整数値リストを表す型だ。なるほど、値の種類を区別するものに見える。 しかし、この答えは間違ってはいないが、もっと相応しい云い方が出来るだろう。それは、「型は不変条件である」というものだ1。この言明は別に私固有の見方というわけではなく、ある程度の型レベルプログラミングをやった事のある人

                            • テクノロジー
                            • 2013/12/20 19:03
                            • haskell
                            • coq
                            • dependent-type
                            • 定理証明
                            • Proof
                            • math
                            • 数学
                            • Extensible Effects はモナド変換子に対する救世主になり得るか?

                              61 users

                              konn-san.com

                              Extensible Effects はモナド変換子に対する救世主になり得るか? konn-san.com Oleg, Sabry and Swords らによる Extensible Effects: An Alternative to Monad Transformers の論文を読んだメモ的な何かです。モナド変換子に関する簡単な現状確認から入ってはいますが、想定読者層は日常的にモナドやモナド変換子を用いたプログラムを書いている人達です。 どちらかというと自分向けのメモの性格が強いので、詳しい部分は論文を参照してみてください。 背景:モナド変換子とその問題 Haskell を中心に、関数型言語では副作用のある函数を合成するための手段としてモナドが広く用いられている。モナドは非常に強力な抽象化で、およそ副作用と呼べるものはモナドを使って定式化することが出来た。例えば、大域的な環境 r を

                              • テクノロジー
                              • 2013/07/21 21:36
                              • haskell
                              • monad
                              • Eff
                              • programming
                              • -
                              • 後で読む
                              • プログラミング
                              • https://konn-san.com/math/SkeletonAndAC.pdf

                                3 users

                                konn-san.com

                                • 学び
                                • 2013/06/28 23:46
                                • 圏論
                                • 絶対に理解出来ないモナドチュートリアル - konn-san.com

                                  215 users

                                  konn-san.com

                                  世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?なんてのもあったな。 この記事の目的は別に、こうした既存のモナドチュートリアルを「間違ってる!」とか「わかるわけねーよ!」といって貶そうという訳ではない。実際、既に幾多書かれているチュートリアルの中でも、僕の云いたいことと殆んど同じようなことが書かれているものは沢山ある。 では、上の膨大なリストの末尾にまた一つ「わかりやすい比喩」を付け足そうというのか?というとそういう訳でもない。そうそう、モナドは比喩ではないというチュートリアル

                                  • 学び
                                  • 2013/06/28 00:28
                                  • モナド
                                  • monad
                                  • haskell
                                  • プログラミング
                                  • 圏論
                                  • programming
                                  • 数学
                                  • Scala
                                  • チュートリアル
                                  • tutorial
                                  • 今年の冬は Gröbner 基底でスーパー大学受験ガール! - konn-san.com

                                    18 users

                                    konn-san.com

                                    今年の受験は Gröbner 基底で乗り切れ! どうもみなさん今日は!突然ですが僕は受験数学が苦手です。しかし、代数幾何のGröbner(グレブナー)基底の理論を学んでから、受験数学が全く苦にならなくなりました!今回は、まだ受験数学と格闘しなくてはならないみなさんの為に、受験に役立つGröbner基底の紹介を、しちゃうゾ☆ 直線と平面の問題 さてさて、まずは次の空間図形の問題を考えてみまっしょー。 問題.x,y,zx,y,zx,y,z-空間に直線 ℓ:(x,y,z)=(0,−3,−2)+t(1,3,2)(t∈R)\ell:(x, y, z) = (0, -3, -2) + t(1,3,2)\quad (t \in \mathbb{R})ℓ:(x,y,z)=(0,−3,−2)+t(1,3,2)(t∈R) と点 P(1,2,1)P(1,2,1)P(1,2,1) がある。ℓ\ellℓ を含み P

                                    • 学び
                                    • 2013/04/01 01:51
                                    • math
                                    • konn-san.com 建設予定地

                                      10 users

                                      konn-san.com

                                      集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。 更新履歴など プロフィール - 2025/06/10 13:00:00 JST わたしについて。 全ての実数の集合をLebesgue可測にする 〜Solovayモデル入門〜 - 2024/10/12 14:00:00 JST 「ZF+DC\mathrm{ZF}+\mathrm{DC}ZF+DC + 任意の実数の集合がLebesgue可測」になる集合論のモデルSolovayモデルについてalg-dチャンネルで喋った時の資料です。 数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - 2024/09/18 13:27:51 JST 2024年後半におるうぇ君、るじゃ氏、こりーさんなどとやっている強制法自主ゼミの発表資料です。 私とおるうぇ君とで、ロジックの基礎からはじ

                                      • テクノロジー
                                      • 2012/02/22 01:07
                                      • math
                                      • blog

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

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

                                      『konn-san.com 建設予定地』の新着エントリーを見る

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

                                      j次のブックマーク

                                      k前のブックマーク

                                      lあとで読む

                                      eコメント一覧を開く

                                      oページを開く

                                      はてなブックマーク

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

                                      公式Twitter

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

                                      はてなのサービス

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