黒木玄 Gen Kuroki(@genkuroki)/2019年04月11日

@takusansu #超算数これですねwww.nier.go.jp/guideline/s26e...。
【記号「＝」は，その両側にあるものに区別を認めないことを示すものであることを知らせ，これを実際の場において，正しく使えるようにする。】(B 計算、の部で)

タグ：超算数

posted at 23:56:43

#数楽

0 - 1 = …999

は環

A = proj lim ℤ/10ⁿℤ

においては正しい式。

9+90+900+…=9(1+10+100+…)=9×1/(1-10)=-1.

コンピュータ好きにとっては2進法での補数の概念としておなじみかもしれない。射影極限を取るところまで理解している人は少数派だと思うが。

タグ：数楽

posted at 23:54:51

@takusansu 一年生で、「こたえわ」(と、いひ等号「=」を筆写す)
みたいな演算の結果としての用法を学ぶのは確実ですよね。その後、2+1=1+2のような表現を学ぶわけですから、上書きしようとしています。今現在、何年生で等号の本当の意味を習うのか分からないですが、1951年指導要領では5年生だったはず。

タグ：

posted at 23:52:01

#数楽もしも

「0の1つ前は…999と無限に9が並ぶはず。なぜならば、10の1つ前は9、100の1つ前は99、1000の1つ前は999、…と9の個数が増えて行くので、10、100、1000、…の0の個数を増やして行くと、…000 = 0 となり、その1つ前は …999 になる」

に近付いていれば天才的。

twitter.com/kale_aojiru/st...

タグ：数楽

posted at 23:50:23

TaKu @takusansu

@temmusu_n ＞上書きがうまくいっていない気はしますが。

そもそも、上書きしようとしているのですかね？
小・中学校の学習指導要領や解説には記述無しだったと思います。

タグ：

posted at 23:33:26

#超算数等号の意味を教えるのに、少なくとも教師用指導書のレベルの指導は結構苦労しています。計算すると、で等号を書くという指示を出さないとか、そういう思い込みを排除するとかの条件で低学年の算数指導は難しいのでしょう。上書きがうまくいっていない気はしますが。 twitter.com/sikamaru_math/...

タグ：超算数

posted at 23:19:54

Hal Tasaki @Hal_Tasaki

OokuboTact　大久保中二病中年 @OokuboTact

解説がどうのと言わずにこれを読むのがよさそうですね。
吉田さん @y__hiroyuki ありがとうございました。
iopscience-event-horizon.s3.amazonaws.com/article/10.384... twitter.com/Hal_Tasaki/sta...

タグ：

posted at 22:55:06

OokuboTact　大久保中二病中年 @OokuboTact

@takusansu （続き）　　＃超算数　　＃面積

具体的にはこんな感じで、正方形と長方形について説明がある。
長方形の場合は、必ず縦と横の長さが違う具体例を出している。 pic.twitter.com/nfvW03nlKk

タグ：超算数面積

posted at 22:46:01

（続き）　　＃超算数＃面積

小学校の算数で長方形と正方形で並列で書く場合。
正方形の面積の求め方を強調したいがために「長方形と正方形」と書いているんだろう。
しかし長方形と書いてある場合は、必ず具体例では正方形は使われない。 pic.twitter.com/3Q7zahjdbI

タグ：超算数面積

posted at 22:32:15

@heart8255

菊池先生が書かれた「いちから聞きたい放射線のほんとう」
2014年の初版を読んでいた私は、それまでの自分の知識を再確認出来て、慌てず焦らず生活することが出来ました。(もちろん他の書物も含めて)
甲状腺検査の事もすでに書かれてありました。
久しぶりに読み返してみよう(^^; pic.twitter.com/UD6Cv1fi0L

タグ：

posted at 22:16:42

#超算数今も昔も、文字の入った式の指導では、2b+3という順序が教えられるだろうし、3+3は3×2と書くと学習させられるだろう。しかし3+2bではダメというきまりに同意した覚えはないし、断り書きさえあれば3+3=2◎3 (ただし◎はかけ算記号)とやっても条理にあっているのですよね。

タグ：超算数

posted at 22:14:54

#超算数丸山(1942)の引用を中断なく続ける。【
3. 条理に合はないことはこれを拒否する。
4. 因習のみに捉はれず新しい生活を工夫し創造するといふことは生活上重要なことであるから、このやうな態度の養成に力めることが大切である。
】

タグ：超算数

posted at 22:07:49

#超算数丸山良二『教育大要』東京、松邑三松堂、1942年。
「理数科算数の指導要領」dl.ndl.go.jp/info:ndljp/pid...という節で、学習の心構え的な箇条書き。【
1. 定まったことは、きまり通りに履行する
2. 事を始める際には計画を立て順序正しく一歩一歩進めて行く
】この前半と矛盾しかねないのが以下。

タグ：超算数

posted at 22:03:05

#超算数 TaKuさんのいう算数教育学の矛盾と積分定数さんのtwitter.com/sekibunnteisuu...あたりの話で思い出したんですが、戦中 (!) の教育本で矛盾の顕著な例があるのを知っています。

タグ：超算数

posted at 21:53:06

TaKu @takusansu

twitter.com/sekibunnteisuu...
そもそも、出来るという状態が分かっていない可能性が高いですね。
算数というある意味シンプルなものが、算数教育学ｗになると複雑怪奇にものになり、 #超算数指導に繋がっています。
算数教育学ｗは矛盾だらけで大人でも理解不能ｗ

タグ：超算数

posted at 21:45:33

数学 for 大学受験 @Mathworld4

@takusansu リプありがとうこざいます。
確かにそうですねー……
高等数学の能力がある人はそもそも小学校とか行かないですしね…

タグ：

posted at 21:40:45

TaKu @takusansu

須山敦志 Suyama Atsushi @sammy_suyama

@Mathworld4 高等数学の能力がある人が教科担任になれば良いですが、算数教育学ｗを学んだ人を教科担任にするなら #超算数は悪化しそうですね。

タグ：超算数

posted at 21:30:27

ごまふあざらし(GomahuAzaras @MathSorcerer

traditionalな方法を非常に巧みに活用している論文とかもあるので、応用技術者は調査対象をトップカンファレンスの論文に絞る必然性はほぼない気がする。

タグ：

posted at 21:26:18

毎回忘れるんだけど Pkg mode において add で一気に入れるときはスペース入れればいいんですよね。

julialang.github.io/Pkg.jl/v1/gett... pic.twitter.com/OaMb71fo00

タグ：

posted at 21:18:07

数学 for 大学受験 @Mathworld4

前野［いろもの物理学者］昌弘 @irobutsu

これが実現したら、算数教育は少しマシになるかな？
#超算数 twitter.com/akira_shida/st...

タグ：超算数

posted at 21:12:49

光速度の覚え方、いろぶつ流は

肉食うな、急に、仕事や
29 9 7 92 45 8

です。焼肉屋で食おうとした瞬間に「トラブル発生です！」と電話が掛かってきたという状況を想像して覚えましょう。 twitter.com/Denryokubot/st...

タグ：

posted at 21:07:59

毎日新聞・囲碁 @mainichi_igo

局後の検討がおこなわれています。

#囲碁 #竜星戦 pic.twitter.com/Ouh0r1KeUc

タグ：囲碁竜星戦

posted at 20:20:06

Otepipi @Otepipipi

はてなブログに投稿しました
MarkdownでJuliaを実行する - システムとモデリング otepipi.hatenablog.com/entry/2019/04/... #はてなブログ, #Julia言語, #Julialang, #Markdown

タグ： Julialang Julia言語 Markdown はてなブログ

posted at 20:13:37

(:3 っ )っ @sn0wyrabbit

【お知らせ】4/14（日）開催予定の #技術書典6 【こ16】サークル『418 I'm a teapot』🍵として出展します。

今回、『JuliaではじめるWebアプリ開発〜WebアプリフレームワークGenie入門〜』を書かせていただきました。

Juliaで簡単な本棚Webアプリ📚を作る内容です。興味ある方ぜひお越しください！！ pic.twitter.com/TuogtQ3Ry2

タグ：技術書典6

posted at 20:02:06

毎日新聞・囲碁 @mainichi_igo

ごまふあざらし(GomahuAzaras @MathSorcerer

一力八段、柯九段を相手に完勝といえる内容でした。

#囲碁 #竜星戦

タグ：囲碁竜星戦

posted at 20:00:42

ごまふあざらし(GomahuAzaras @MathSorcerer

ｵﾎﾞｴﾀﾖ　M-x package-install [enter] <some package> enter
ｵﾎﾞｴﾀﾖ　company で Pythonのはできるんだけどなぁ・・・。
ｽﾊﾞﾗｼｲ　monokai　が綺麗。イィ！！
ﾁｮｯﾄﾚﾍﾞﾙｱｶﾞｯﾀ

タグ：

posted at 19:58:06

emacs ちゃん Juliaのコード補完が function とか using とかしかできなくて泣きそう。

タグ：

posted at 19:58:06

#超算数
喜多「ヤァヤァヤァ銭があるかしらん」

小僧「ここえ出しなさろ、一ツニツ三ツ四ツ」

と、五文づつ一つ一つに数えて、目の子算用で、三十文をひったくられ、
[という次第。]

タグ：超算数

posted at 19:54:58

#超算数二人はインチキ九九で値段より安く払う。
喜多「五文づつならこうと、二人で六ツ食ったから、五六が十五文、ソレやるぞ」
[ところが小僧もインチキに気づき]
小僧「イヤこの衆は、もう塵劫記の九九じゃァ売りましない。五文づつ六ツくれなさろ」

タグ：超算数

posted at 19:54:57

毎日新聞・囲碁 @mainichi_igo

日中韓竜星戦、一力遼八段と中国の柯潔九段の対局は一力八段が白番中押し勝ちし、あさって13日の第3戦、優勝を決定する一局に駒を進めました。明日の第2戦、柯九段と韓国の金志錫九段の勝者との対戦です。一力八段、世界最強の一角を打ち破りました。

#囲碁 #竜星戦 #一力遼 #柯潔

タグ：一力遼囲碁柯潔竜星戦

posted at 19:50:29

#超算数息抜きに、『東海道中膝栗毛』で九九の悪巧みがばれる一話www.numazu-s.or.jp/yajikita/yajik...を。
弥次喜多が、沼津から吉原を過ぎて宿外れに差し掛かる。客引き、物乞いに混じって、土手にゴザを敷いて餅を売る小僧がいる。

タグ：超算数

posted at 19:48:23

nagaoka_sun @nagaoka_sun

Robert Geller; ロバート・ @rjgeller

このライターが何者なのか知らないが、あまんまりにも酷い内容で、まったく共感も参考にならない… tenki.jp/lite/suppl/kou...
申し訳ないけど、いくつか指摘したい。

タグ：

posted at 19:47:44

山本弘　『BIS ビブリオバトル部』 @hirorin0015

日本政府はおかしい！
「地震予知連絡会１０年の歩み」という本は政府予算で作成されたものの国会図書館は著作権のために無条件ネット公開をしない。なぜ納税者は公的資金で作成された資料を自由に閲覧できないのか、理解に苦しむ。ふざけている！
dl.ndl.go.jp/info:ndljp/pid...

タグ：

posted at 19:45:43

小学5、6年の「教科担任制」検討　文科省、授業の質向上へ（毎日新聞） - Yahoo!ニュース headlines.yahoo.co.jp/hl?a=20190411-... @YahooNewsTopics

タグ：

posted at 19:39:13

リョウ・アルジャーノン @ryoFC

ナショナルジオグラフィック TV @natgeotv_jp

なるほどFacebookで凍結されてツイッターに参入してきたのかw
#ノロミカ

タグ：ノロミカ

posted at 18:37:39

攻撃モードのときのコアラ。 pic.twitter.com/1JNuXWqsP0

タグ：

posted at 17:56:35

Massimo @Rainmaker1973

The #EHT has mapped the central compact radio source of the elliptical galaxy M87 at 1.3 mm with unprecedented angular resolution. This paper tries to explain the physical origin of the asymmetric ring observed: iopscience.iop.org/article/10.384... pic.twitter.com/eTAVgo0Nvk

タグ： EHT

posted at 17:45:49

Hiroyasu Kamo @kamo_hiroyasu

@SciCafeShizuoka @nekomath271828 ですよね。とういうか、そういう不公平が嬉しい人たちが人間力なんたらを推進しているのでしょう。

タグ：

posted at 17:24:04

モト@PPMMPP @29silicon

@kamo_hiroyasu @nekomath271828 国立大の入試で筆記試験の場合、合否は点数のみの総点主義が普通じゃないかと思います。人間力重視なんたらで面接が課せられるようになったら、無意識にでも不公平なことが起こりそう。

タグ：

posted at 17:22:19

#Julia言語一方、名前空間でバッティングが生じないように書きたいこともあるわけで、そういう場合には、

using Foo: Foo

のスタイルは結構便利。私は

using SymPy: SymPy, sympy, simplify, oo

のようなことをよくしています。

タグ： Julia言語

posted at 17:02:28

#Julia言語を気軽な超高級電卓として使うときには、

using Plots: Plots

として、Plots.plotと書くのは不合理。そうする習慣が広まらなくて良かったと思います。

どこで覚えた習慣なのか分かりませんが(想像はついている)、ときどき、無駄に面倒なことをしているのを見る。

タグ： Julia言語

posted at 16:59:38

#Julia言語例えば、

using PyPlot

と

using Plots

とを同時にすると、PyPlot.plotとPlots.plotがどちらも plot になって困ったことになる。しかし、

using PyPlot: PyPlot, plt
using Plots: Plots

して、plt.plotとPlots.plotを使い分ければ両方使える。

タグ： Julia言語

posted at 16:55:43

Hiroyasu Kamo @kamo_hiroyasu

勤務先では、一般入試の判定会議では受験生の出身校のデータは見えません。高認差別も通信制差別もシステム的にできなくしてあります。 twitter.com/kamo_hiroyasu/...

タグ：

posted at 16:48:11

#Julia言語に関する検索では

jl

をキーワードの1つとして入れておくと効率よく欲しい情報が見つかることが多いです。

タグ： Julia言語

posted at 16:47:26

@abap_julialang #Julia言語どのOSにどの方法で何を入れたか(要約せずに正確な詳細情報があった方がよい)がわからないと解決不可能な問題だと思うのですが、

github.com/JuliaLang/IJul...

を見れば、自力で解決できる可能性があると思いました。

タグ： Julia言語

posted at 16:42:14

あおじるPPPP @kale_aojiru

@Ra_koyama 質問の意図を理解してくれたのが私だけだったようで「１０の前が９なのに０の前が９じゃないの変だよね」って言ったらやたら喜んでました

タグ：

posted at 16:37:42

らじうむ小山_PPPMP @Ra_koyama

心がポッキー(7億円) @lawliteqed

@kale_aojiru カウントダウンしてたんだろうな…一所懸命考えててかわいい子ではないか。

タグ：

posted at 16:35:54

うちのエンジニアに支給されたpcがひどい
メモリ4GB+社内の監視用、セキュリティ用ソフト盛り盛りで重すぎる

Chromeが日に70回クラッシュし、Githubは閲覧制限で繋がらない
新しく頼んでも1ヶ月以上「部品が無い」という理由で来ない

AIとかIoTとか言う前にこういうところだよ

タグ：

posted at 16:32:42

あおじるPPPP @kale_aojiru

そういえば10年くらい前、「なんで０の下（０より１小さい数）」は－９じゃないのか」という質問を受けたことがあるな。その子は自分の考えを上手く説明できない子だったので数学の教諭にも親兄弟にも友達にも何を言っているかわかってもらえなかった模様。親兄弟や友達はともかく、教諭は察してやれよ

タグ：

posted at 16:25:12

#数楽

 nbviewer.jupyter.org/gist/genkuroki...
古典型Cartan行列の固有ベクトル

Chebyshev多項式との関係の解説も追加した。

固有ベクトルがわかっているので、固有値もわかっており、そのことを使えば計算は簡単。 pic.twitter.com/cixiDQYzCl

タグ：数楽

posted at 15:58:52

#数楽「定義まで戻る」と私もよく言うのですが、定義までしか戻らないようでは、十分な数学の理解に達することは不可能であることも強調されるべき。

既存のフレームワークのAPIの定義に戻るだけでは、自分自身でフレームワークを作れるようになるような理解度に達しない。

もっと奥まで進むべき。

タグ：数楽

posted at 15:39:38

@heart8255

もう一度読んでおきたい記事

がんを正しく恐れること（下）～検診に向かないがんもある～ yomidr.yomiuri.co.jp/article/201606...

タグ：

posted at 15:12:48

@heart8255

アザラシシーパラダイス【公式】 @aguhiyori

菊池先生に色々なメンションがとんでるらしいけど、あの事故からずっと福島に住み、不安の中色々なデータが出てくる度に「あぁ良かった。もしかすると…と想定していた酷い事故が回避出来て」と思っている私は、先生の悔しさと同じ悔しさを感じている。
そして検討会が催される度に無力さを感じている twitter.com/kikumaco/statu...

タグ：

posted at 15:10:17

「でこぼこコンビ」誕生🤣🤣🤣 pic.twitter.com/mnSnHvUaxd

タグ：

posted at 13:05:56

もりさと @taiki_morisato

札幌市営地下鉄のエスカレーターに、乗ってから歩かないよう注意するステッカーが貼られてて、キツめの表現だけど分かり易くていいなと思っていたら、苦情でもあったのか丁寧な口調のモノに張り替えられてた。相変わらず弱腰で笑う pic.twitter.com/dERCnipN5r

タグ：

posted at 12:09:41

uc @uc33664956

Twitterで見かけたコレ。
本当にすごい！
ずっとご機嫌に壁蹴ってるし、たまに爆笑してるし、疲れてそのまま寝てるしw

頼りになるのはやっぱTwitterやな。 pic.twitter.com/yaqrw8l81t

タグ：

posted at 11:37:41

はすじょい (hsjoihs) @hsjoihs

やっと動画が出力できた pic.twitter.com/WSTcPBfQ2K

タグ：

posted at 11:33:26

東進　志田晶 @akira_shida

小学5、6年の「教科担任制」検討　文科省、授業の質向上へ - 毎日新聞 mainichi.jp/articles/20190...

タグ：

posted at 11:23:54

#数楽例を示さずに「自分で選択しろ」と言われても困る人が多いはずなので、適切に書かれた数学書では、公理的な定義が行われた直後から価値ある具体例が適切に挙げられ始めます。

そして、そういう具体例の方が公理的な定義そのものよりも価値が高いと感じられることも多い。

タグ：数楽

posted at 10:35:16

#数楽「自分で選択」という考え方を繰り返し強調したくなるのは、小学校からチョー算数(偽物の算数もどき)が蔓延してしまっているせいで、数学を「天下りに与えられた意味不明の規則に従って問題を解く分野」だと誤解している人が多いという印象があるから。さすがにそういう分野なら価値はない。

タグ：数楽

posted at 10:30:53

#数楽長さや距離が最初から1通りに決まっていると考えるのではなく、すでにフレームワークとして整備された無数の「長さ」や「距離」があって、ユーザーはそれらの中から自分の目的に役に立つものを自分で選んで使うことになります。

「自分の判断で選択しろ」というメッセージを受け取るべき。

タグ：数楽

posted at 10:26:46

須山敦志 Suyama Atsushi @sammy_suyama

#数楽数学の講義では、ベクトルの長さという意味の「ノルム」や一般的な「距離」を公理的に定義したりします。そのような定義から受け取るべきメッセージは「この天下りの定義に従え」ではなく、

「フレームワークがすでに整備されているので、自分の判断で選択して、道具として便利に使ってね！」

タグ：数楽

posted at 10:26:45

以前はAI専門家と呼ばれるのが嫌でしたが、正直最近は機械学習専門家と名乗るのも嫌になってきました。あくまで統計モデラーとしてやっていきたい。

タグ：

posted at 10:14:54

須山敦志 Suyama Atsushi @sammy_suyama

#数楽シンプルな公理的な定義から出発して様々な概念を定義してかつ一般的に成立する定理をまとめた体系は、プログラミングで言えば「フレームワーク」のようなものに相当しています。

タグ：数楽

posted at 10:13:06

機械学習は大量に計算資源を投入して誤った発見を量産しまくっていますね。残念ながらp値ハッキングと全く同じ構造。
BBC News - AAAS: Machine learning 'causing science crisis' www.bbc.com/news/science-e...

タグ：

posted at 10:11:53

#数楽～行われています。

ベクトルの長さをノルムと呼び、「ノルム」という言葉を公理的に定義することも行われている。

公理的な定義の例には「群の定義」があります。

公理的な定義は数学の教科書には普通に出て来ます。

タグ：数楽

posted at 10:08:58

#数楽例えば p≧1 に対する

(p) (|x₂-x₁|^p+|y₂-y₁|^p)^{1/p}

も距離としてよく使われます。これは L^p 距離と呼ばれています。

役に立ちそうな距離は無数にある。異なる距離ごとに同じような議論を別々に繰り返し続けることを避けるために、「距離」という言葉を公理的に定義することも～続く

タグ：数楽

posted at 10:08:57

そのっつ (Naotoshi Seo) @sonots

書きました！ / “全社的に会社用GitHubアカウントを廃止した件 - ZOZO Technologies TECH BLOG” htn.to/37kkf2XSTq

タグ：

posted at 10:03:41

#数楽続き～点(a,b)の距離を定義することもできます。

以上のような感じで、平面上の点(x₁,y₁)と点(x₂,y₂)の間の距離の役に立ちそうな定義の仕方には

(1) |x₂-x₁|+|y₂-y₁|
(2) √(|x₂-x₁|²+|y₂-y₁|²)
(∞) max{|x₂-x₁|,|y₂-y₁|}

などがあることが分かりました。他にも無数にある。

タグ：数楽

posted at 10:01:12

#数楽例：lim x_n = a, lim y_n = b のとき、ε>0 に対して n を十分大きくして、x_nによるaの近似の誤差 |x_n - a| と、y_n による b の近似の誤差 |y_n - b| の両方が同時にε以下にすることは、

max{|x_n - a|, |y_n - b|} ≦ ε

とすることと同じです。これの左辺で平面上の点 (x_n,y_n)と～続く

タグ：数楽

posted at 10:01:12

Masahiro Hotta @hottaqu

あのブラックホール観測では、天文学者ではなくコンピュータサイエンティストである彼女の貢献が大きかったとのこと。研究者の分野横断的協力は今後も大切。Meet Katie Bouman, one woman who helped make the world's first image of a black hole bit.ly/2UunxOB#e704ba...

タグ：

posted at 09:52:32

#数楽例：碁盤目状に道が通っている都市では交差点Aから交差点Bまで行くときに通る道の長さは「直角三角形の直角をはさむ2辺の長さの和」になります。このように、場合によっては、平面上の点(x₁,y₁)から(x₂,y₂)までの距離を

|x₂-x₁|+|y₂-y₁|

と定義することにも十分な合理性があります。

タグ：数楽

posted at 09:48:20

グレッグ @glegory

荻上チキ/『「助けて」が言えない』 @torakare

つまり彼らに職を与えられ、真に人手不足になれば賃金は高騰しインフレ率も上がってくるだろう。端的に言えば金融緩和、財政出動が不十分。教育、防衛、福祉。いくらでも足りないところはある。国債を刷って十分手当をすれば民間の消費や投資も増える。この期に及んで緊縮財政はありえない。

タグ：

posted at 09:45:51

辞任した桜田大臣のサイトに、半生が漫画として掲載されているのだけど……これを実現したいから政治家になったという動機が描かれず、「成功しているひとたち」と付き合うにふさわしい人間になるため「もっと上のステージに行こう」とだけ描かれてるの、納得感しかない。
sakurada-yoshitaka.jp/wp-content/the... pic.twitter.com/GJjFGv1Q8K

タグ：

posted at 09:44:20

グレッグ @glegory

安達誠司さんの説によれば日本の潜在的求職者がまだ存在していて、その人たちも失業にカウントすれば日本の失業率は５％に達しているそう。なかなかインフレ目標に到達しないのは彼らが賃金上昇にあわせて労働市場に流れ込んでくるためだ。それだけ日本の失われた20年の傷跡は深く重い。増税を止めよ。

タグ：

posted at 09:41:22

MIT CSAIL @MIT_CSAIL

Watch Katie Bouman speak about the significance of today's black hole breakthrough: bit.ly/2KqIsO4 (v/@nature)

#KatieBouman #BlackHole #EHTBlackHole pic.twitter.com/K7dvRDpG7t

タグ： BlackHole EHTBlackHole KatieBouman

posted at 09:33:46

TOMO @tmk9071

これ、安倍政権叩くぞ！と嬉々として失言を集めるときに、出してはいけない民主党時代の失言をスタッフがうっかり間違えて載せてしまったというミスだったのかもしれないね。いずれにせよ酷い番組だよ。
#報道ステーション

タグ：報道ステーション

posted at 08:04:32

Green Pepper @r2d2c3poacco

子猫を飼い始めて分かった事。

◎信じられないような暗い狭い場所に入って行き、ダスキンのモップ状態で出て来る。

◎小さな体のどこにあれだけのエネルギーが有るのかと驚くほど毎日が運動会。そして電池が切れるのが早く直ぐに爆睡。

◎新聞はまともに読ませてもらえない。毎日新聞がボロボロ。 pic.twitter.com/gA8QveyRMP

タグ：

posted at 07:46:37

abap34 @abap34

@genkuroki だと思ったんですが…
あるんですか？(非ユークリッド幾何学？) pic.twitter.com/sOTGD8xYDO

タグ：

posted at 07:32:48

Massimo @Rainmaker1973

The story of how we turned our planet into a giant telescope to image a minuscule portion of the sky, 1/250,000,000th the size of the full Moon to change the course of astronomy and science youtu.be/hMsNd1W_lmE pic.twitter.com/M8VK2yYvE0

タグ：

posted at 06:25:57

#数楽何も知らない状態で数値計算の結果だけを見て、L(p)=L(q) (1/p+1/q=1) という双対性に気付けたのは非常に良かった。一気に話が広がった。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 02:28:47

#数楽関連スレッド2

#Julia言語による計算も大活躍。

twitter.com/genkuroki/stat...

タグ： Julia言語数楽

posted at 02:17:17

#数楽以前の関連スレッド1

mobile.twitter.com/genkuroki/stat...

タグ：数楽

posted at 02:15:05

#数楽長さの概念はその使用目的に合わせてユーザーが勝手に定義して使うべき概念です。

数学におけるほとんどの概念がそうで、誰か偉い人が決めた約束に忠実に従う義務はまったくない。

しかし、人間が決める約束とは無関係に非常にうまく行く数学的仕組みが発見されることがあり、実用的にも重要。

タグ：数楽

posted at 02:14:26

#数楽 1つの論理的に正しい答えは「場合によっては、直角三角形の斜辺の長さは、残りの2辺の長さの和であっても構わない」です。

長さは定義しないと決まらないし、長さの定義は無数にある。

続く

twitter.com/abap_julialang...

タグ：数楽

posted at 02:11:35

#Julia言語それによって、Float64とかBigFloatとかComplex{Float64}とかMatrix{Float64}のような具体的な型名を一切出さずに書いた函数が、それらの具体的な型の引数に対してコンパイルされて超高速で計算してもらえるようになるわけです。

明示的な具体的型指定はダサいという感覚。

タグ： Julia言語

posted at 01:30:55

#Julia言語は、函数の引数の型に合わせてコンパイルしてから実行します。

だから、函数の引数の型が函数内で新たに作られる変数に適切に伝搬するように書けば、函数の引数の型を狭く指定したりせずに、あらゆる場合もしくは非常に広い場合に利用できる函数が得られます。これは結構うれしいです。

タグ： Julia言語

posted at 01:26:29

#Julia言語では函数内で新たに変数を作るときに、 one(x) とか zero(x) とか similar(x) とか、one(eltype(x)) とか zero(eltype(x)) のような書き方をできて、引数 x の型を新たに作られる変数に伝搬させるような書き方ができます。

タグ： Julia言語

posted at 01:21:02

#Julia言語変数yを作るときに、y=one(x)とすればxと同じ型の1にあたるものを格納した変数yが得られます。

function myexp(x; N=10^6)
y = one(x)
for i in 1:N
y += x*y/N
end
y
end

なら、xがBigFloat64でもComplex{Float64}でもMatrix{Float64}でも通用する函数になる。

タグ： Julia言語

posted at 01:18:03

#Julia言語で変数 y を作るときに、y = 1.0 とすると、Float64の1を格納した変数yができる。Intの1とFloat64の1.0は異なる。

訂正：上の方で函数の最終行にyと書くのを忘れていた。

タグ： Julia言語

posted at 01:14:35

#Julia言語変数 y を作るときに y = 1 とすると、y は Int の 1 を格納した変数になります。

Float64のみで計算したいなら

function myexp_Float64(x; N=10^6)
y = 1.0
for i in 1:N
y += x*y/N
end
end

と書けばよいのですが、これだとFloat64のxでしか使えない。

タグ： Julia言語

posted at 01:10:58

#Julia言語注意するべきなのは、引数の型指定ではなく、引数の型が適切に伝搬するように書くこと。例えば

dy/dt = xy, y(0)=1

を t=1 まで数値的に解いて、e^x を計算する函数を

function myexp_bad(x; N=10^6)
y = 1
for i in 1:N
y += x*y/N
end
end

と書くとハマる。

タグ： Julia言語

posted at 01:06:00

#Julia言語実際には

function f(x::AbstractArray{Float64,1})
略
end

という書き方をして、Float64成分の配列のみに対応した函数にしたいことはまれだと思う。実際には

function f(x)
略
end

で十分な場合が多いと思う。このように書いても計算の速度的劣化はありません。

タグ： Julia言語

posted at 00:49:17

#Julia言語 Float64の1次元配列の引数のみに対応している函数を

function f(x::Array{Float64,1})
略
end

と定めると失敗します。 f(@ view(y[2:end-1])) (@の後の空白は削る)のように計算できなくなります。

function f(x::AbstractArray{Float64,1})
略
end

なら大丈夫。

タグ： Julia言語

posted at 00:46:25

#Julia言語

m×n行列を(m,n)型と呼び、長さnの縦ベクトルを(n, )型、長さnの縦ベクトルの双対ベクトル(横ベクトル)を( , n)型と呼び、スカラーは( , )型と呼ぶことにすると、掛算の結果何になるかが理解し易いかも↓

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 00:36:42

#Julia言語

 twitter.com/genkuroki/stat...

nbviewer.jupyter.org/gist/genkuroki...
Julia言語での行列とベクトルのチュートリアル

タグ： Julia言語

posted at 00:35:19