はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ キマイラ飼育記

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 25 / 52件)

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

2022/12/05 このエントリーをはてなブックマークに追加 213 users Instapaper Pocket Tweet Facebook Share Evernote Clip DSL stedolan 檜山正幸 github.io 定番

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

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

2018/07/21 このエントリーをはてなブックマークに追加 20 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 古典的微分幾何・ベクトル解析 モダン化

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

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

2018/07/05 このエントリーをはてなブックマークに追加 12 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 円周 つうか 古式 古典的微分幾何・ベクトル解析

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

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

2018/07/03 このエントリーをはてなブックマークに追加 33 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 古典的微分幾何・ベクトル解析 モダン化 利用

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

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

2018/01/12 このエントリーをはてなブックマークに追加 41 users Instapaper Pocket Tweet Facebook Share Evernote Clip undefined TypeScript null 檜山正幸

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

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

2018/01/09 このエントリーをはてなブックマークに追加 67 users Instapaper Pocket Tweet Facebook Share Evernote Clip オブジェクト指向 カモ 檜山正幸 垣根 愚痴

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

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

2017/10/14 このエントリーをはてなブックマークに追加 32 users Instapaper Pocket Tweet Facebook Share Evernote Clip null 奥野幹也 ちゃん 檜山正幸 ヨタ話

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

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

2017/10/10 このエントリーをはてなブックマークに追加 156 users Instapaper Pocket Tweet Facebook Share Evernote Clip 行間 奥野幹也 示唆 檜山正幸 言い訳

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

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

2017/07/18 このエントリーをはてなブックマークに追加 65 users Instapaper Pocket Tweet Facebook Share Evernote Clip イプシロン 檜山正幸 アレ N君 先週末

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

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

2017/05/24 このエントリーをはてなブックマークに追加 26 users Instapaper Pocket Tweet Facebook Share Evernote Clip 著者 あやしいもの 著者本人 入手 PDFファイル

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

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

2017/02/28 このエントリーをはてなブックマークに追加 97 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 確率変数 正体 分布 密度

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

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

2015/11/09 このエントリーをはてなブックマークに追加 41 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 備忘 JavaBlack 芸風 たち

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

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

2015/09/28 このエントリーをはてなブックマークに追加 694 users Instapaper Pocket Tweet Facebook Share Evernote Clip Git 備忘 SourceTree 先入観 ブランチ

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

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

2015/09/10 このエントリーをはてなブックマークに追加 26 users Instapaper Pocket Tweet Facebook Share Evernote Clip 傘かしげ 檜山正幸

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

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

2015/08/31 このエントリーをはてなブックマークに追加 35 users Instapaper Pocket Tweet Facebook Share Evernote Clip 備忘 BaaS MBaaS MailGun 檜山正幸

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

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

2015/07/14 このエントリーをはてなブックマークに追加 56 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 基礎

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

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

2015/05/11 このエントリーをはてなブックマークに追加 248 users Instapaper Pocket Tweet Facebook Share Evernote Clip ビルドツール ビルドプロセス 檜山正幸 備忘 Gulp

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

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

2015/03/22 このエントリーをはてなブックマークに追加 41 users Instapaper Pocket Tweet Facebook Share Evernote Clip モナド TypeScript 檜山正幸 関手

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

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

2014/12/07 このエントリーをはてなブックマークに追加 52 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸

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

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

2014/02/02 このエントリーをはてなブックマークに追加 505 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 Windows Git 備忘 bash

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

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

2013/09/05 このエントリーをはてなブックマークに追加 137 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸

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

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

2013/03/04 このエントリーをはてなブックマークに追加 34 users Instapaper Pocket Tweet Facebook Share Evernote Clip 備忘 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 Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 制約 備忘 発想 雑記

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

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

2013/02/11 このエントリーをはてなブックマークに追加 474 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 入門 備忘 デイヴィッド・スピヴァック データモデル

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

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

2013/02/05 このエントリーをはてなブックマークに追加 27 users Instapaper Pocket Tweet Facebook Share Evernote Clip 檜山正幸 関手的データモデル

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

 
(1 - 25 / 52件)