日記
どうもプロジェクトの scalaのバージョンがズレてたので合わせるために spire のバージョン上げたら、型パラメータを使って Int を Rational や Real に変換するコードが StackOverflow 起こしてテストを通らなくなった。 spire 0.9.1 では動いてたけど 0.10.1 からエラーが。 まぁ、補助的なコードで使ってるだけなので必要な型の間での型変換コードを書いて済ますことにしたけど、すんげーどうでもいいようなことに数時間費やしたなぁ・・・最近、ふと積ん読状態だった『物理学におけるリー代数』読んでる。 通常の群論の本に比べて物理に関係ある例が結構載せてくれてるので、物理系の人間には有り難い。 でも、紙の本だと紙面の都合があるので、具体的な計算とかを自分で計算してそのうちブログにでも書きたいところ。 でも、手で計算するのもいいけど計算であれこれ試すためにコード書きたい。 spire の線型代数ってまだ開発が途中だった気がするけど、ちょっと確認してみるか。
物理学におけるリー代数―アイソスピンから統一理論へ (物理学叢書 107)
- 作者:ジョージァイ,九後汰一郎
- 出版社/メーカー:吉岡書店
- 発売日: 2010/10
- メディア:単行本
- クリック: 5回
- この商品を含むブログを見る
ツイート （ツイート数 45）
@waman10da: 『人間の場合は大腸内視鏡検査などを行う必要があり、高額な費用を必要とします』 / “自分以外の糞便を腸内に移植すると下痢の93％が治ることが確認される - GIGAZINE” URL #健康 #犬 #細菌・ウイルス
@waman10da: RT @azumi_waki: 明日のAnimeJapanにもCygamesさんで【ウマ娘】のイベント参加させていただきます〜?14時20分からです！お時間ありましたらぜひお越しくださいね〜o(｀ω´ )oお写真はまりんかとあんちゃんと！* URL…
@waman10da: RT @KTB_genki: 「夫の家事・育児時間が短いカップルほど、第２子以降の出生割合が低い」という統計が既に国からも出ているので、女性に「少子化解決するために産め！」と最低な圧力をかけるおじさんは、まず自分が家事・育児しろ。少子化の原因はあんたらだよ。 URL…
@waman10da: “太平島は島だ”台湾の主張が中国を利する可能性も!? 国際世界が注目する理由とは URL @NewSphere01から
@waman10da: RT @AyakaOhashi: バンドリステージありがとう！ライブ楽しみにしててね??次は日テレブースでエンドライドステージだよん！！(あやか) URL
@waman10da: RT @AyakaOhashi: エンドライドステージ、ありがとうございました??来週からの放送をお楽しみに！次はバンドリだよ〜〜〜〜ん！！(あやか) URL
@waman10da: カンボジアの無電力地域で太陽光による高速データ共有環境を実現 -NerveNetを用いて課題解決- | 沖縄タイムス＋プラス URL @theokinawatimesから
@waman10da: FBIの隠し玉は、まさかの「いっき」子会社。iPhoneロック解除で日系企業が協力か : ギズモード・ジャパン URL @gizmodojapanから
@waman10da: RT @Sankei_news: 「おじが死んだ」「おばも死んだ」なぜか金曜日に休む部下…うそ忌引１７回！ 丸亀市職員６カ月停職 URL
@waman10da: RT @livedoornews: 1000RT：【出陣】「刀剣乱舞」アニメ化決定！2016年10月＆2017年に放送URL第1幕「刀剣乱舞-花丸-」は動画工房、第2幕「刀剣乱舞（仮題）」はufotableが制作する。#… http…
@waman10da: RT @arihotasan: せかぽじわー
@waman10da: 手動かいっ。 丸くないペットボトルはコンロで形丸めないといけないのね。 / “ペットボトルを細いヒモ状にあっという間に切断して劇的に捨てやすくできる「Plastic Bottle Cutter」 - GIGAZI…” URL #資源 #環境
@waman10da: 『おくすり手帳とは、いつ、どこで、どんな薬を処方してもらったかを記録しておく手帳のこと。薬局で無料でもらえる。』 / “おくすり手帳、薬局に持参しないと医療費が高くなる 2016年4月から” URL #薬
@waman10da: 『この森林に漂う匂いは「フィトンチッド」と呼ばれ、植物の中で生成される「テルペン類」などの揮発性物質です。では』 / “植物を作り変える人類を待っていた落とし穴とは？ なぜ人類は農薬を使わざるを得な…” URL #植物 #毒 #農業 #人類
@waman10da: import spire.math._def convert[A: Integral](value: A): Rational = implicitly[Integral[A]].toRational(value)StackOverflowError なんでや？
@waman10da: RT @onsenradio: ＜音泉＞なのになぜか今までなかった「温泉」をテーマにした動画番組「ちなみとりっかの 見えちゃうらじお♪?音泉で一泊！?」橋本ちなみさんと立花理香さんが、毎回浴衣姿で色々な事にチャレンジ！ URL Twitt…
@waman10da: RT @pentaxxx: 暴力には「良い/仕方がない」ものもある、とお考えのあなたは、まったく同じ文脈で「体罰」「DV」「しごき」「（しつけという名の）虐待」「（指導という名の）パワハラ」等々も容認したことになるのですが、そういう認識でよろしいでしょうか？
@waman10da: RT @fuku_sanae: 「紅殻のパンドラ」TOKYO MX、KBS京都組の皆様、ご視聴ありがとうでした！最終話いかがでしたか？ 福は相変わらずブエルさんで笑い、あるシーンで大泣きしてました。愛するクラリオン役！ぬーさん！！大好き！ #kpandorahttps:/…
@waman10da: RT @primaniacs_PR: 6つ子それぞれをイメージした「おそ松さん」フレグランス全6種、7月上旬の一般発売に先駆け、4/27オープンのprimaniacs銀座本店で先行発売決定！詳しくはURL #おそ松さん https://…
@waman10da: RT @NatGeo: Japan has killed 333 minke whales as part of this year's Antarctic whale hunt, citing "scientific reasons": URL…
@waman10da: RT @hujisakiusa: 先史文明中央情報管理局広報部！！第4回配信開始ですー☆奇跡が起こりましたっ！！！！！全ほたウサが涙した第4回ぜひご視聴くださいっ?#せかぽじURLURL
@waman10da: RT @yubais: IT化とは「馬車の時代にガソリンエンジンを持ち込む」くらいの革命であったはずた。まともに頭が働く人間なら馬を撤廃してエンジンで車輪を動かすだろう。ところが日本では「エンジンで動く馬」を作って馬車を牽引させているのだ。エンジンを使うこと自体が目的だと思って…
@waman10da: RT @tanakh: Apple帝国にいっき仕掛けるとはやることがでかくなった(´･_･`) / “FBIの隠し玉は、まさかの「いっき」子会社。iPhoneロック解除で日系企業が協力か : ギズモード・ジャパン” URL
@waman10da: RT @chomado: マイクロソフトの人工知能の話、どれも面白いwーー米MSの人工知能が暴走している一方、日本MSの作ったJK人工知能はオタクになっていた - Togetterまとめ URL
@waman10da: RT @arihotasan: 「聖鍵遣いの命題」のラジオ先史文明中央情報管理局広報部 第4回目の配信スタート！(｡?????｡)??今回は奇跡が起きてますー！(〃^∪?^〃)･* URL #音泉 #せかぽじ https://…