パイプライン指向JSON処理プログラミング言語 jq - 檜山正幸のキマイラ飼育記 (はてなBlog)

2022/12/05 213 users DSL stedolan 檜山正幸 github.io 定番

jq（https://stedolan.github.io/jq/）の紹介では、「JSON処理のワンライナー〈一行野郎〉としてめちゃくちゃ便利！」とアピールするのが定番です。もちろんそれは本当で、「めちゃくちゃ便利！」です。が、実は jq は、ワンライナー記述にとどまらない、かなり本格的なプログラミング言語です。 JSON処理のためのDSL〈D... 続きを読む

古典的微分幾何・ベクトル解析のモダン化： ダイレクトインデックス記法 - 檜山正幸のキマイラ飼育記

2018/07/21 20 users 檜山正幸 古典的微分幾何・ベクトル解析 モダン化

微分幾何では、点の座標やベクトルの成分表示において、上下の添字〈インデックス〉を使い分けます。これはもの凄く便利です。しかし、添字が整数範囲を動くとしていることで、余分な煩雑さが発生しています。整数範囲ではなくて、ベクトル空間の基底をそのままダイレクトに添字集合〈インデックスセット〉に使う方法を... 続きを読む

古典的微分幾何・ベクトル解析のモダン化： 局所座標って何だ？ - 檜山正幸のキマイラ飼育記

2018/07/05 12 users 檜山正幸 円周 つうか 古式 古典的微分幾何・ベクトル解析

多様体は局所座標を持っています。つうか、局所座標の集まりを備えた空間が多様体です。具体的な計算は、局所座標によって行います。この局所座標に関する丁寧な解説が意外に見当たらないので、ここで事例を中心に説明しましょう。 内容： 微分幾何・ベクトル解析における古式とモダン モニタールームの孤独な男 円周に... 続きを読む

古典的微分幾何・ベクトル解析のモダン化： ラムダ記法の利用 - 檜山正幸のキマイラ飼育記

2018/07/03 33 users 檜山正幸 古典的微分幾何・ベクトル解析 モダン化 利用

微分幾何・ベクトル解析の古い教科書、あるいは古いスタイルで書かれた説明は、とても分かりにくいものです。記法の説明や計算の仕方はちゃんと書いてあるのですが、その記法が何を表すのか？ 計算によって何をしてるのか？ 実体／実状が把握できないんです。 今でも古いスタイルの説明はよく見かけます。それに文句を言... 続きを読む

TypeScript、お前もか： nullやundefinedの扱いがイイカゲン過ぎ - 檜山正幸のキマイラ飼育記

2018/01/12 41 users undefined TypeScript null 檜山正幸

TypeScriptには期待してたんだけど、ガッカリだよ。 それでもまー、割と好きだけど。 *1 内容： 特殊な型や値の扱い方はイイカゲンになりがち 特殊な型とは TypeScriptの基本型にnullは入らないと信じていた どんな伝統なんだよ TypeScriptにシングルトン型はないのか？ ユニオン型は便利なんだけど never型はシッカリしている さいごに 特殊な型や値の扱い方はイイカゲンに... 続きを読む

まともな型クラス への入門： 関数型とオブジェクト指向の垣根を越えて - 檜山正幸のキマイラ飼育記

2018/01/09 67 users オブジェクト指向 カモ 檜山正幸 垣根 愚痴

2016年9月に次の記事を書きました。 関数型プログラミングとオブジェクト指向について、何か書く、かも タイトルからして引き続く記事を予告しているのですが、その予告を実行することができませんでした。タイトル中の「何か」とは「型クラス」のことです。上記の記事の最後の部分は： 関数型プログラミングにもオブジェクト指向にも関係があって、今後重要度を増すであろう「型クラス」ですが、今述べた（愚痴った）よう... 続きを読む

データベースへの論理的アプローチ： NULLについてチャンと考えよう - 檜山正幸のキマイラ飼育記

2017/10/14 32 users null 奥野幹也 ちゃん 檜山正幸 ヨタ話

「 奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか 」のなかで、ピンクで「 （詳細は別途記述予定。） 」と書いてあるところが6箇所あります。これらの“ピンクの宿題”を順不同で片付けていきます（全部、片付くかは不明）。 ピンクの宿題 その1 単なるベキ集合でも（ある意味）重ね合わせです。[...今回の話題に関係ないので省略...]この枠組内でNULLの意味も（ヨタ話じゃなくて）分析で... 続きを読む

奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか - 檜山正幸のキマイラ飼育記

2017/10/10 156 users 行間 奥野幹也 示唆 檜山正幸 言い訳

言い訳から始めます。この記事を（途中まででも）読んだ人は、次のように言いたくなるでしょう。 『理論から学ぶデータベース実践入門』は良い本なのか悪い本なのか、いったいどっちなんだよ?! この本は間違いや説明不足があり、誤読されやすい表現も多く、その点では残念な本です。しかし、面白いアイディア、するどい観察も含まれていて、行間を補い深読みすれば、多くの示唆を得られる本でもあります。 よって、「良い／悪... 続きを読む

イプシロン-デルタ論法はなぜ難しいのか？ どうしたら分かるのか？ 分かる必要があるのか？ - 檜山正幸のキマイラ飼育記

2017/07/18 65 users イプシロン 檜山正幸 アレ Ｎ君 先週末

先週末に、N君が「イプシロン-デルタ論法って、なんすかアレ？ 全然分からないっす！」と言ってました。そのときはそれ以上話す時間もなかったし、次回会うときはこの話題を忘れてしまうかも知れないので、書き記しておきます。 僕は、伝統的なイプシロン-デルタ論法そのものには懐疑的です。ゴタゴタした不等式をいじり回すのは早々に切り上げて、開集合を導入したほうがいいと思います。そんな思いから、出来るだけ不等式を... 続きを読む

無料で入手できる本格的（紙なら高額）な理数系専門書15選 第2回（2017年春） - 檜山正幸のキマイラ飼育記

2017/05/24 26 users 著者 あやしいもの 著者本人 入手 PDFファイル

去年・2016年の夏に、「 無料で入手できる本格的（紙なら高額）な理数系専門書15選 」という記事でインターネットから入手可能な専門書を15冊紹介しました。 出版されている書籍と同じ内容のPDFファイルやHTMLページがインターネットに公開されている例は意外と多いみたいで、一年たたずに新しい15冊のリストができました。前回（2016年夏）と同様に、著作権があやしいものは除外し、著者本人または著者の... 続きを読む

「確率変数」の正体は米田埋め込み - 檜山正幸のキマイラ飼育記

2017/02/28 97 users 檜山正幸 確率変数 正体 分布 密度

確率変数（random variable, stochastic variable）という言葉の意味が分からない！ と何度か書いています。 2015-05-26 「確率変数」と言うのはやめよう 2015-05-27 「分布、測度、密度」は同じか違うか 2015-06-17 まだ「確率変数」が分からない 結局 分からないまま でした。「慣れ」の問題かも？ と思ったこともあります。 2015-05-2... 続きを読む

林晋さんのこと、根拠なきイチャモンのこと - 檜山正幸のキマイラ飼育記

2015/11/09 41 users 檜山正幸 備忘 JavaBlack 芸風 たち

雑記／備忘 | 08:55 | 先週のことでタイミングが遅れていますが、http://d.hatena.ne.jp/JavaBlack/20151103/p1相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない（治さない）のでしょう。林晋さん*1へのたちの悪い言及を目にしてしまったので、一言いわずにはおれない気分です。まず、林晋さんの著書について述べます。... 続きを読む

もうGitは怖くない： 自信を持って使いたいあなたへ - 檜山正幸のキマイラ飼育記

2015/09/28 694 users Git 備忘 SourceTree 先入観 ブランチ

雑記／備忘 | 08:43 | 2014初頭に書いた「WindowsにおけるGit利用環境は整った： Git for Windows と SourceTree for Windows」の最後の文：ブランチは、Gitのなかで最も重要でありながら最も分かりにくい概念でしょう。表面的な言葉に騙されず、先入観を持たず、SourceTreeの視覚的表示（樹形図）の力を借りながら学習するのが、理解への一番の近... 続きを読む

傘かしげは実用的じゃない - 檜山正幸のキマイラ飼育記

2015/09/10 26 users 傘かしげ 檜山正幸

日常 | 08:57 | 昨日、かなり激しく雨が降っているとき、細い道で人とすれ違った。ここは、江戸しぐさの定番「傘かしげ」でしょう。傘をかしげたら、僕の傘の下に相手の傘が入り込んで、肩のあたりにジョボジョボ水が落ちてきて濡れたわ。 続きを読む

Parse.comとMailGunを普通のWebサイトのバックエンドとして使ってみる - 檜山正幸のキマイラ飼育記

2015/08/31 35 users 備忘 BaaS MBaaS MailGun 檜山正幸

雑記／備忘 | 13:47 | Parse.comは、スマートフォンアプリのためのバックエンド（サーバー側システム）機能を提供するクラウド・サービスのひとつです。このてのサービスは、MBaaS（Mobile Backend as a Service; エムバース）と呼ばれているようです。MBaaSはたくさんありますねー（↓）。mBaas - BaaSはまだ戦国時代だったのか、まとめ。(執筆中) -... 続きを読む

R言語メタプログラミングの基礎 - 檜山正幸のキマイラ飼育記

2015/07/14 56 users 檜山正幸 基礎

雑記／備忘 | 10:31 | Rはメタプログラミングの能力を持っていますが、情報がまとまってなくて苦労します。けっこう落とし穴もあります。基本的な事項をここにまとめておきます。内容： 関数オブジェクトの基本構造 関数オブジェクトのコンストラクタ ペアリストと仮引数リスト 空な名前とデフォルト値なし コールオブジェクトと関数本体 関数の評価環境 関数の登録先環境 コールオブジェクトの操作 引数の式... 続きを読む

最近のビルドツールって何なの？ - 檜山正幸のキマイラ飼育記

2015/05/11 248 users ビルドツール ビルドプロセス 檜山正幸 備忘 Gulp

雑記／備忘 | 10:11 | TypeScriptでは、コンパイルが必要です。プログラムをブラウザーとNode.jsの両方で使おうとすると、さらに加工が必要です。ミニファイだの文書も作るだのすると、ちょっとしたビルドプロセスとなるので手作業では辛くなります。今更Makeでもないよなー、と思い、最近のビルドツールを試してみました。内容： 流行りすたりが激しすぎる gulpを使ってみる：こんなサンプ... 続きを読む

TypeScriptと関手やモナドなど - 檜山正幸のキマイラ飼育記

2015/03/22 41 users モナド TypeScript 檜山正幸 関手

雑記／備忘 | 18:30 | 2008年に書いた記事「CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ」はCPSの説明にJavaScriptを使っています。しかし、JavaScriptでは型宣言や型総称（ジェネリックス）が使えないので、「未来のJavaScript」という最初の節で架空のJavaScript方言を定義しました。最近のAltJSのなかに... 続きを読む

誰も書かないCoq入門以前の話 - 檜山正幸のキマイラ飼育記

2014/12/07 52 users 檜山正幸

雑記／備忘 | 19:34 | 「WindowsへのCoqのインストール」：事情があって、AgdaかCoqを触ってみようか、と。事情というのは、個々の命題の証明（確認）は割と簡単そうだが、命題がイッパイあるのでウンザリな状況のことです。家計簿の計算が筆算だと面倒だから電卓を使いたい、という状況と同様です。それでCoqのインストールは済んだのですが、処理系の使い方が分からない。個々の操作は覚えていけ... 続きを読む

WindowsにおけるGit利用環境は整った： Git for Windows と SourceTree for Windows - 檜山正幸のキマイラ飼育記

2014/02/02 505 users 檜山正幸 Windows Git 備忘 bash

雑記／備忘 | 07:49 | 分散バージョン管理システムの利用は拡大しています。そのなかでも最も人気のあるツールはGitでしょう。しかし、GitをWindowsで使うのはなかなか困難でした。Windows向けのGitであるmsysGitは、bashのコンソールを出して、最小限のUnix風コマンドライン環境を提供するものです。これは使いやすくありません。もう一つの選択肢であるTortoise Gi... 続きを読む

デシリットル問題 - 檜山正幸のキマイラ飼育記

2013/09/05 137 users 檜山正幸

日常 | 12:55 | 長男：「おとうさん*1、デシリットルって習った？」 父親：「あー、習ったよ」 長男：「俺も習った。けどさ、デシリットルって見たことないんだよね。おとうさんは使う？」 父親：「リットル、ミリリットル、キロリットルは使うけどなー …」 長男：「デシリットル使う？ 見たことある？」 父親：「ウーン、ないな。君よりはるかに長く生きてるけど、小学校の教科書以外で見たことないわ」 長... 続きを読む

スピヴァックの圏論教科書 Category theory for scientists - 檜山正幸のキマイラ飼育記

2013/03/04 34 users 備忘 title デイヴィッド・スピヴァック 檜山正幸 講義

雑記／備忘 | 18:20 | 関手データモデルのデイヴィッド・スピヴァックが、圏論の教科書を書いたようです。商業出版ではなくて、Web上にPDFが公開されています。スピヴァックの大学での講義のテキストとして書かれたようです。 Title: Category theory for scientists Author: David I. Spivak Submitted: 27 Feb 2013 U... 続きを読む

関手的データモデル入門 2：統一的に制約を書く方法 - 檜山正幸のキマイラ飼育記

2013/02/18 18 users 檜山正幸 制約 備忘 発想 雑記

雑記／備忘 | 09:04 | 夢のような話も楽しいけど、今日は地道に行きましょう。様々なスキーマ制約を、単純な発想だけを使って、すべて一様に扱う方法を紹介します。それにしても、「入門 2」なんて番号付けていいんでしょうかね？ 「衝撃的なデータベース理論・関手的データモデル 入門」を「入門 1」とみなすつもりですが、「入門 3」「入門 4」があるかどうか不安。 続きを読む

衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記

2013/02/11 474 users 檜山正幸 入門 備忘 デイヴィッド・スピヴァック データモデル

雑記／備忘 | 19:04 | デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。内容： はじめに 本の購入のサンプルスキーマ... 続きを読む

関手的データモデルをどう説明するか？ 考えてます - 檜山正幸のキマイラ飼育記

2013/02/05 27 users 檜山正幸 関手的データモデル

雑記／備忘 | 14:17 | http://d.hatena.ne.jp/m-hiyama/20130128#c1359767497 :データベース技術者が「これを知らないのは不幸」と思えるので、（可能な範囲で）紹介はしようかな、と。「これ」とはもちろんスピヴァックの関手的データモデルです。「データベース技術者」つうより、データベースに多少とも関わるすべての人にとって関手的データモデルは福音とな... 続きを読む