みなさまこんにちは。サバです。 人間があせっています。 おにいちゃんへのクリスマスプレゼントが決まらないそうです。 来年おにいちゃんは高校生になる予定。 今は『受験生』なんですって。 わりとたいへんなのだそうです。 こっそりようすを覗いてみましょう。 お家の中でウォーキングをしていますね。 きっと脳みそに酸素を送っているのでしょう。 運動は大事です。 人間が受験生だったときは、 毎朝１．６キロほど走ってた（°_° とか言っていますよ。 ほんとかなあ。 もうすぐ学校は冬休みに入りますが、 田舎なので塾がありません。 時間の使い方はおーるふりー。 自分でしっかりしないと、ぐだぐだになります。 はっ、時計はどうだ（°△° お家の中には時計がいっぱいあります。 壁にもかかっているし、目覚まし時計もありますよ。 試験を受けるときにいる（°_° 時計を置いてない会場も多いのですって。 万が一、設置して
概要 Haskell には Co/Yonda 型があり、圏論には米田の補題がある。両者の関連についての分かりやすい解説を見つけられなかったため、ここで米田の補題と Co/Yoneda 型をシームレスに繋ぐことを試みる。 圏論の基礎知識は仮定している。また Co/Yoneda 型は kan-extensions で定義されたものを参照している。 記法 圏論の記法は一般的なものを用いるが、Haskell コードとの比較のし易さのために、圏 $\mathcal C$ における対象 $A$ から対象 $B$ への射の集合 $\mathcal C (A,B)$ を $$ A\underset{\mathcal C}{\rightarrow}B $$ とも書くことにする。 米田の補題によると、圏 $\mathcal C$ とその対象 $A$ ならびに関手 $F:\mathcal C\rightarro
童心が溢れすぎている「ひとりごと絵本」
デイリーポータルZのライター、関係者が愛読している本を語ります。 今回はライターの唐沢さん。レコメンドは「ひとりごと絵本」(リトル・モア) 聞き手は安藤、佐伯、石川です。 では唐沢さん、お願いします。 唐沢： 100％ORANGEさんっていう、めっちゃ人気の２人組イラストレーターさんの本です。新潮文庫のパンダいるじゃないですか。 安藤： Yonda?のパンダだ。 唐沢： それです！ そのイラストのほかに、絵本なんかもたくさん手がけてらっしゃるんですけど、この本はお２人の童心が溢れすぎてて、いろんな人が、それはもうベタボレしちゃうような本なんです。 石川： 童心が。 唐沢： 初めて知ったのが、新聞の書評なんです。 読売の日曜版の、いつも哲学書とかを紹介してるような。 安藤： はいはい、あるある。 唐沢： あんまり絵本とかはなくて、かための本が中心のコーナーなんですけど、ある日、この「ひとりご
人工衛星がどの位置にあるのか、mapbox上にパッと表示する方法です。 地図は地理院タイルを利用します。 衛星の位置はTwo Line Elements(TLE)をcelestrakから入手します。 TLEを緯度経度に変換するアルゴリズムは、sgp4が有名です。 このアルゴリズムは観測から15日後の衛星位置を数10km程度の誤差で予測できるすぐれものです。 自前で作ろうと思いましたが、アルゴリズムの中身を見ると精度が良いだけに面倒だったので、素直に既存のライブラリに頼ることにします。 node-sgp4 またユーザがTLEを入力できるようにしたいので、入力値がTLEをとして適切かバリデーションするのにもライブラリをお借りすることにします。 tle-validator サンプル デモ <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <
地理座標系での距離や面積を計算するときに見る資料
極半径 b = a(1 - f) 平均半径 r = (2a - b)/3 Openlayers WGS84 or GRS80の平均半径 Leaflet WGS84 or GRS80の平均半径 Tufr.js WGS84 or GRS80 地球を球体として扱う 公式が使えて計算が楽。 半径には平均半径を使う。 距離 球体上の最短距離である大円距離(大圏距離)を求める。 英語で調べるときはgreat circleやgeodesic lineあたりでググる。 公式はwikipediaにある通り。 ライブラリはだいたいこの公式を採用している。 Openlayers Leaflet Turf.js 面積 指定した座標が囲む球体の表面の面積を求める。 球上の面積を求めるリュイリエの公式(l’Huiller’s formula)は複雑でやってられないから簡易式を使おう、というNASAの論文のアルゴリズム
こんばんは〜！ 私です！ 肉焼いてます〜。 これは鹿肉〜。 いや〜ヤバいですよ〜。 Horizonという4〜5年前のゲームをSteamでダウンロードし、その時に一緒にVALHEIMというゲームもダウンロードした訳ですが。 このVALHEIM、面白い！！時間溶けますね〜。 何て言いますか、、1つが時間かかる？からかな。 いやはや、どうなるやらですが。 今は掘っ立て小屋建てて、肉焼いてるだけで満足な暮らしをしています。 ……というか、どんなゲームやねん！という話ですが、それはまあまたいずれ＼(^o^)／ 今回は、はじめてじゃないかな？ 今週のお題「本棚の中身」！ これについて！ 眺めてみた自分の本棚。 ただのカオスですね。 きれいに整頓される方もいらっしゃりますでしょうにね。 私の本棚ときたら、もうグチャグチャですね。 私はあまり小説のだぐいは読まなくて。 古代史に関する解説本ばかりになってし
https://manga-yonda.com/
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
受験生へのクリスマスプレゼント - やれることだけやってみる
HaskellのCo/Yoneda型と米田の補題をきちんと繋げる - Qiita
mapboxでお手軽に人工衛星の軌道を投影する - Qiita
本棚眺めてみた@ありのまま。 - 老犬ミニチュアダックスと虚弱な私の日々