黒木玄 Gen Kuroki(@genkuroki)/2019年12月/Page 11

#Julia言語 Julia言語でmp3ファイルを読み込むにはどうすればいいんですかね？

Julia言語 + Jupyer notebook + ブラウザ

で音も扱えるというのは実はちょっとうれしいので、発展して欲しいように思える。

Fourier解析のデモとして音を聞いてもらうことは教育的に成り得ると思う。

タグ： Julia言語

posted at 23:52:50

#Julia言語

 marui.hatenablog.com/entry/2019/12/...

では、LibSndFile.jlなどを使うためにJulia v1.0.5を使っていますが、私の環境ではv1.0.5での使用はできなくて、v1.3.0なら

]add LibSndFile

でインストールできました。証拠↓

nbviewer.jupyter.org/gist/genkuroki...

FFTW.jlは古い版を入れた(上述)。

タグ： Julia言語

posted at 23:50:23

戌一いぬいち @inu1dog1

ピアニストの妻、トイピアノに付いてきた説明書を容赦なく捨てようとしていたので、「せっかくやから一応見てみようよ！」と言うと、なんかキレ気味に弾き始めた。途中から調が変わってる？あとアドリブ？……なんかすごい気がする。 pic.twitter.com/Vr3hJL2xtl

タグ：

posted at 23:34:59

Madhav @sharmadhav03

I'm so happy !!!
Finally I was able to use GitHub Actions to automate my bot to post memes at specified time of the day !
This was a tiring process but the meme provides utmost satisfaction.

Thanks @OfficialLoganK twitter.com/sharmadhavs/st...

タグ：

posted at 23:27:48

真新しいWindows10とJulia１．３．０の環境で試しましたが，
何事もなくインストール，パッケージのusing ができました． twitter.com/genkuroki/stat...

タグ：

posted at 23:21:14

inono(もげぷ) @inono360

これたまに見るけど、自分が子供時代にやられたら、ごそっと勉強意欲失われるなぁ。
算数嫌いになる自信あります。 twitter.com/genkuroki/stat...

タグ：

posted at 23:20:13

Jiahao Chen 陈家豪 @acidflask

Playing with the Tatoeba 例えば corpus in #JuliaLang. Sentence 14 says "That's an evil rabbit"... tatoeba.org/eng/downloads pic.twitter.com/nDxJ8HYHqC

タグ： JuliaLang

posted at 23:16:36

黒田敏史 @toshi_kuroda

数学とか語学とか楽しいよね @sasaburo

"「有意差が出ていないな。出るまで実験を続けなさい」と指導されました。"
教育心理学専攻のあるマンモス私大で博士を取った農業経済学担当候補者がjob seminarで「農水省の政策を後押しするような結果を出すのがこの分野の研究なので」と発言してセミナーにいた全員を唖然とさせた事を思い出した。 twitter.com/ykamit/status/...

タグ：

posted at 23:16:31

@MathSorcerer ありがとうございます！早速その流れでやってみます！

タグ：

posted at 22:49:52

#Julia言語パッケージをアップデートしたら、*_jll.jl 達が大量にインストールされて、結局うまく行かないという状況に陥ったら、適当に古いバージョンのパッケージを入れてしのぐという手が使える。今日はこれではまっていた。

もしくは、Julia v1.0.5の方を使うとか。

タグ： Julia言語

posted at 22:48:59

@sasaburo Juliaをインストールして
Weave．jlを導入して

weavejl.mpastell.com/dev/getting_st...

を読みます．

Julia自体は　#Julia言語というハッシュタグで聞くと色々情報が出てきます．

タグ： Julia言語

posted at 22:47:47

#Julia言語パッケージのバージョンアップによる不具合はバージョンダウンすれば一時的にしのげる。しばらく待っていると不具合が解決していることが多い。

]add FFTW

するとMKL_jll.jlがインストールされる問題については以下のリンク先を参照。

github.com/JuliaMath/FFTW...

タグ： Julia言語

posted at 22:47:17

数学とか語学とか楽しいよね @sasaburo

#Julia言語

Windows 8.1
Julia v1.3.0

で

]add FFTW

とか

]add ImageMagick

できない(途中で止まってハングする)という問題に悩まされたので、

]add FFTW#v1.1.0
]add ImageMagick#v0.7.5

してしのぐことにした。この問題関連の情報募集中。 pic.twitter.com/zGZ1d8BBqo

タグ： Julia言語

posted at 22:47:16

@MathSorcerer 私もやってみます！何かよい資料とかありますか？

タグ：

posted at 22:41:13

数学とか語学とか楽しいよね @sasaburo

めっちゃ簡単です！！！！ twitter.com/sasaburo/statu...

タグ：

posted at 22:35:37

これはいい… twitter.com/MathSorcerer/s...

タグ：

posted at 22:31:07

@sakamotoh 男性の鉄道通勤率が10%以上の地域を赤塗り。

三大都市圏の外側で「鉄道通勤率10%以上」というと、なかなか健闘してる方なんですが
日立～水戸や長野近郊が赤くなったのは意外でした。

（そういえば、日立・勝田などはHITACHI関連社員で朝の駅が大混雑すると聞いた気が）

軽井沢は新幹線通勤かな？ pic.twitter.com/R6wI9cI1PY

タグ：

posted at 22:25:36

Hal Tasaki @Hal_Tasaki

さっきの沙川さんの集中講義の件でリンクした『統計物理学メーリングリスト』の投稿記録は ML のメンバーでなくても閲覧できます。研究会や集中講義の情報が色々とあるので（統計物理周辺に興味があれば）有益だと思います。
statphys-ml.issp.u-tokyo.ac.jp

タグ：

posted at 22:20:13

おばけ @triwave33

Oh Yes!!! #raspi4 #julialang pic.twitter.com/CPjNz8HE3N

タグ： julialang raspi4

posted at 22:04:31

@sakamotoh 札幌・仙台・広島・福岡（通学）

仙台の八木山動物公園周辺に「オートバイ」が1位の地域がある。東北大学かな？ pic.twitter.com/o2VLTG1NUf

タグ：

posted at 21:29:51

@sakamotoh 今度は通学（15歳以上の男子）。
三大都市圏では概ね電車か自転車か、といった傾向

（※自転車と電車を併用している人も多いはずだけど、この図からは読み取れない） pic.twitter.com/oauY3GU7gF

タグ：

posted at 21:27:51

@sakamotoh 札幌・仙台・広島・福岡（女性通勤者）

それにしても広島デルタや福岡（那珂川沿い）の自転車の存在感...❢
徒歩や自転車で通勤できる大都市、非常に魅力的です🙂 pic.twitter.com/E4z534guvr

タグ：

posted at 21:09:04

バスや自転車利用に関しては、性別を女性に絞ると傾向が見えてきます。（電車に乗り換えず、最寄り駅周辺に勤める方が男性と比べて多いので）

こちらの方が「複数交通手段の併用」を加味したときのイメージに近いでしょうか...？

twitter.com/sakamotoh/stat...
@sakamotoh pic.twitter.com/L830h1czwV

タグ：

posted at 21:05:09

#超算数脳みそをつかってツイスターを遊ぶようなツイはここでおしまいにします。ぶつくさいって申し訳ありませんが、この文章が真剣な考察の対象となる界隈があることに思いをいたしてもらいたいです。

タグ：超算数

posted at 21:04:57

#超算数私は星野将直氏の文章で、最新の算数教育の理論と実践によって合併と増加の区別の意義が明らかにされるのを期待しましたが、その期待は満たされませんでした。特に残念なのは、星野氏が認識論とか意味論の語を濫用し、現実の対象を顧慮しないで済むようなスタイルで議論を展開したことです。

タグ：超算数

posted at 21:00:40

マイカー通勤者の多い100～200万都市でも、地下鉄等の恩恵を受けられない郊外ではバスの存在感がある。

福岡に関しては地下鉄七隈線が博多まで伸びると、少し状況が変わるかもしれませんが...🚌 pic.twitter.com/9LE9onPNCc

タグ：

posted at 21:00:07

つぶ二 @tsubu_02

@temmusu_n 具体的な意味を抽象的な概念に統合するという発展的な考え方で創造性を育むとでも申せましょうか。（無理ゲー） pic.twitter.com/8aMcqEbVTf

タグ：

posted at 20:58:43

少し表現手法を変えて、男性通勤者の4人に1人（25%）以上がバスを利用している地域を色塗り。
（※バス＋電車の人もカウントされる）

駅からの距離と地形の影響を受けている感じ。駅徒歩10分と言いながらバス利用率が高い地区もあり、もしかすると住まい探しの参考になるかも？ pic.twitter.com/21lzw6Je6P

タグ：

posted at 20:55:59

#超算数ここで【加法の共通原理】の語が初登場です。星野氏の認識論は【「加法とはなにか?」「加法の本質とは?」】という問いを扱うものであることは、上のツイで私が述べた通りです。【繋ぎ合わせる】ことの方が増加と合併の、理屈を並べてもどこまでも粗雑な、区別よりも本質ではないでしょうか。

タグ：超算数

posted at 20:55:58

Kirov＠ス連邦 @KirovRKR

腹痛いwww twitter.com/genkuroki/stat...

タグ：

posted at 20:55:49

#超算数星野氏は意味論も認識論も厳密な区別なしに使っていると考えざるを得ません。さて、星野氏の結論は、操作に違いはあるにせよ【ブロックとブロックを繋ぎ合わせることは加法の共通原理となるので、合併も加法と認めざるを得ないことになります。】(47)というものです。

タグ：超算数

posted at 20:52:52

#超算数加法は増加だとまず教えるので合併も加法だと改めて教える必要があると述べているわけです。しかも増加と合併の【意味論的】違いを保ったままでです。意味論ってなんなんでしょうね。さっきまでは星野氏は認識論を語っていたはずです。

タグ：超算数

posted at 20:47:20

50～70万人クラスの政令指定都市では自動車＞自転車≧鉄道といった傾向。
静岡以外は中心駅と都心が離れており、バスや路面電車に乗り継ぐぐらいなら...という気持ちは分かる。 pic.twitter.com/NJi0l06f7Z

タグ：

posted at 20:44:22

#超算数 46-7ページは、合併と増加のどちらで足し算を導入するのがよいかという議論につづき、合併ではブロックやおはじきを両手で操作し、増加ではそれらを片手で操作するという違いが論ぜられ、【増加を加法と定義し、意味論的に異なる合併も加法と認識させるため、操作モデルを取り入れます。】(47)

タグ：超算数

posted at 20:44:17

主な政令指定都市。
最初の3枚とは縮尺が異なります（40万分の1 vs 15万分の1）

札幌・仙台と比べると、広島・福岡の自転車通勤率の高さが目立つ。地形や気候が影響か。
また、各都市の単線ローカル線沿いはマイカー通勤が主流。利便性の他、住民の産業構成（郊外は製造業が多め）とも関係してそう。 pic.twitter.com/G45ajLY2RQ

タグ：

posted at 20:41:15

#超算数例えば図3のネコの図が合併を表わしているとした場合の箇条書きに、【対等性を示す。】という文言がある。これは、「対等性を示すか」なのか「対称性を示している」なのか曖昧だ。前者とみる方が、星野氏の従前の論述【どちらでも解釈できるということは…曖昧な状態です】と整合するが。

タグ：超算数

posted at 20:38:13

#超算数 45ページの最後で星野氏は、学校図書の情景図にもどる(画像1)。これらの図をそれぞれ合併、増加と解釈する前提で、評価を呼びかける(画像2)。ただし星野氏個人は決して評価には踏み込まない。46ページ冒頭(画像3)は分析のポイントを挙げているようだ。 pic.twitter.com/SLw7IbXxOX

タグ：超算数

posted at 20:38:11

「クルマ社会と電車社会の境目はどこにあるんだろう？」と思い、簡単に可視化してみた。

2010年国勢調査のデータより、【15歳以上の男性が通勤で使う交通手段1位】で塗り分け。
複数回答なので、例えば「駅まで車・駅から電車」の人は自家用車と電車の両方にカウントされるのでご注意を。 pic.twitter.com/gsFpMucH0J

タグ：

posted at 20:31:02

@kankichi57301 @kankichi57301

@genkuroki Cから入ったらそうなりがちのような。

タグ：

posted at 20:30:55

#Julia言語

function f(x)
一般の引数xで通用するコード
end

function f(x::Float64)
引数の型がFloat64の場合専用に最適化されたコード
end

のように書いておけば、f(x)の引数がFloat64型のときには、それ専用の最適化されたコードが実行されるようになる。引数の型宣言はこう使う。

タグ： Julia言語

posted at 20:19:44

シャポコ @shapoco

100均にあった丸い瓶でプラズマボール作った
#しゃぽらぼ pic.twitter.com/S44xTxCdGM

タグ：しゃぽらぼ

posted at 20:19:02

市川雄二 @y_ich2

コミさん@K Squad LLC. @komi_edtr_1230

今日の李世乭さんの「神の一手」。
KataGo師匠、「黒潰れですね。…あれれ？あれ？あれ？」 pic.twitter.com/ustfk5YinL

タグ：

posted at 20:15:38

自分がPythonのType Hintingについて思うことの全て twitter.com/genkuroki/stat...

タグ：

posted at 20:13:49

はい，すごいです．
みなさんJuliaで数学書書きましょ． pic.twitter.com/ct6ZbnTetw

タグ：

posted at 20:13:30

#Julia言語

function f(x::Float64)::Float64
～
end

のようなコードを見ると

* そんなことをしても計算は速くならない。
* Float64の引数でしか使えない函数でいいの？
* 適切にコードを書いていれば、引数の型Float64から、函数の返り値の型が自動的に決まるはずなのに？

と思う。

タグ： Julia言語

posted at 20:12:02

#超算数それらについても、星野氏や算数教育界は同様のチョー厳密だが恣意的な分析を加えているのだろうか。おそらくそうではないでしょう。少なくとも、星野氏のこの一文は指導要領解説を正当化し、敷衍するだけに終始していました。

タグ：超算数

posted at 20:09:15

---
title : ゴマちゃーん
author : ゴマふあざらし
date: 21th December 2019
---

でタイトル入力できた．html出力だと日本語でも良いみたい pic.twitter.com/6561dB4ynH

タグ：

posted at 20:00:50

#Julia言語

函数f(x)を定義では

引数xの型
↓
計算の途中で使われるものの型
↓
函数f(x)の返り値の型

の順序で、引数の型から他のものの型が順次決まるようにコードを書く。引数xの型は函数実行時には確定済みなので、型宣言を省いてよい。(引数の型宣言はmultiple dispatchで使われる。)

タグ： Julia言語

posted at 19:56:09

#超算数詳らかにせよというもっともな要請を星野氏は受けることになる。管見の限り、星野氏が意義を明らかにしているとはいえない。唯一の根拠は指導要領解説であり、唯一の意義は俺様ルールの【認識論】だからだ。もっといえば、子供が理解すべき概念は増加や合併以外にもあるはずだが、

タグ：超算数

posted at 19:55:14

Juno入れた時にlanguage-weaveもレコメンドして欲しい
（わがまま上司）

タグ：

posted at 19:52:50

#超算数この認識論が星野氏個人のものに留まる分には、こ難しく考えるのが好きな人っているよねえですむ。しかし、星野氏はこの【重要な視点】で教科書を分析し、ひいては子供にそのような視点を強制しようとしている。従って、合併増加のそのような理解、区別を強制する意義はなにか、詳らかにせよと

タグ：超算数

posted at 19:52:36

#超算数このページは、星野氏流の認識論の披瀝で終わっています。まずA+B=Cの3項を集合に見立てての長広舌が披露された後、【合併と増加には、対等性に対して依存性、同時性に対して継時性があり、これらの性質が互いに対になっているという構造的な認知が重要な視点となる】という認識が示される。

タグ：超算数

posted at 19:52:35

language-weave をインストールしたら（要インストール） jmd 形式のファイルもJuliaのコードとして認識してくれる．
Junoユーザーであればもう，なちゅあらる〜〜〜（語彙力）
See:
github.com/JunoLab/langua... pic.twitter.com/JNx8qgHpfc

タグ：

posted at 19:49:35

匣河豚工房@#FullyVaccinat @hakofuguf

一枚の画像から察する #Julia言語パッケージ

```generate.jl
using Weave
weave("goma.jmd", output_path=:pwd)
```

```
$ julia generate.jl
$ open goma.html pic.twitter.com/NvxZZy8SNI

タグ： Julia言語

posted at 19:43:03

じゃあ近藤誠を推す文藝春秋とか、ホメオパシーをシャレオツ扱いで紹介した女性ファッソン雑誌編集部に直撃取材したらよろしいがな twitter.com/nonbeepanda/st...

タグ：

posted at 19:37:15

#Julia言語 Julia言語は、函数f(x)の実行時には引数xの型が必ず確定していることを使って、引数xの型から函数f(x)の定義内の他の変数の型を推測して、コンパイルを実行します。

型推論の結果は @ code_warntype などで確認できる。赤字の警告が出ないようにすることが基本。

タグ： Julia言語

posted at 19:01:19

#Julia言語 3つの添付画像

1. 型が不定のグローバル変数を含む函数のコンパイルは大変。コンパイル結果も複雑になる。

2. 型がFloat64に確定しているconstを含む函数。BigFloatなどに対応できない函数になる。

3. 型がIrrationalのconstを含む函数。BigFloatなどにも対応可能。 pic.twitter.com/Su868ouX9b

タグ： Julia言語

posted at 18:55:55

#超算数そもそも【「加法とはなにか?」「加法の本質とは?」】という問いを扱う【認識論】とはなんなのか、また、その指導を数学の指導に優先すること(例: 増加と合併の区別)は子供に如何なる利益を与えることができるのか、ここまでの箇所で全く説述がありません。

タグ：超算数

posted at 18:34:26

#Julia言語函数 f(x) が呼ばれたときには、f(x)の引数xの型は確定しているので、函数 f(x) をJuliaがコンパイルするときにJuliaはxの型を常に知っています。

だからf(x)の定義でxの型を宣言しているかどうかと、Juliaのコンパイラがf(x)のコンパイル時に引数xの型を知っているかどうかは無関係。

タグ： Julia言語

posted at 18:34:01

しーな @sina_ht

#JuliaLang でマンデルブロ(Mandelbrot)集合を描画してみた。
座標を指定してRGBの値を書いて描画したいだけなのにだいぶ時間がかかった。
あまり速くないしJulia言語的にもだめだめな実装なんだろうなぁ。
ともあれ描画できた。これでちょっと描画して遊ぶことができるかな。 pic.twitter.com/Kb21C5ZITl

タグ： JuliaLang

posted at 18:31:33

#超算数という真っ当な反論が予想されるので、やや分かりにくい筆致で批判をかわそうとしているのかもしれません。

第6文はまたもや【このことから】という根拠を先行する文章に求める語句で始まります。しかし因果関係は不明です。内容は情景図に【認識論】を反映することを求めるもの。

タグ：超算数

posted at 18:30:18

#超算数おそらく【どちらでも解釈できる】情景図は子供に【「ただ何となくわかった」というような曖昧な状態】を引き起こしがちであるというのが、星野氏の主張なのでしょう。しかしここまで明晰に書いてしまうと、どんな情景図(+付属する文章による指示込み)でも合併と増加の両様に解釈できるぜ！

タグ：超算数

posted at 18:30:17

#Julia言語関連

リンク先の添付画像のコードでは mutable struct になっているが、それはよくなかった。struct にするべきだった。

FFTを使って、熱方程式、KdV方程式、シュレーディンガー方程式の時間発展、Smith方程式を解いている。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 18:27:27

#超算数この文は解析不能で、主張がよく分かりません。44ページの類似の文言を参照して辛うじて、子供にも増加と合併の区別を要求する主張の一環とまでは理解できます。【どちらでも解釈できる】のは情景図の性質のはずです。【「ただ何となくわかった」というような曖昧な状態】とは子供の状態なはず

タグ：超算数

posted at 18:19:44

#超算数逐次コメントします。第1-4文で、星野氏は、学校図書算数教科書にある図が、どのような文章をつけるかによって合併にも増加にも解釈できることを述べます。第5文【どちらでも解釈できるということは区別もできずに意味もわからず、「ただ何となくわかった」というような曖昧な状態です。】

タグ：超算数

posted at 18:14:44

#超算数星野氏は根拠は不明ながら、増加と合併の区別が曖昧ではダメだというテーマを45ページでも繰り返します。ここは、足し算の文章題をキーワードに注目して解決させる指導に対し、【情景図を用いて意味理解を重視する】指導の優位を主張する箇所です。私はきっと自傷行為好きなんでしょうね、 pic.twitter.com/GDgofYuU0o

タグ：超算数

posted at 18:14:41

#超算数足し算の特定の文章題を、合併又は増加と認識できる能力は、特定の文章題を足し算であると認識して正しい解答を与える能力ではありません。もし両者に関係性があるなら、それは実験的に確かめられるべきものであって、論証および実証が不可欠です。

タグ：超算数

posted at 17:43:14

#超算数画像の第一文は検討済み。第二文は増加と合併に特に違いを認めない立場に立てば意味がない記述だし、違いを認めても、特に重要な検討課題とは思えない。第三文は、第二文との因果関係を示す【よって】で始まる意味が不明。その内容は奇っ怪というしかない。合併と増加の区別が曖昧で何が困る？

タグ：超算数

posted at 17:40:28

#超算数 …増加も合併も同じ加法だということを判断できなければなりませんので、増加と合併について、何となく似ているし何となく違うというような曖昧な解釈では、四則計算の学習のスタート段階から児童にとって曖昧な算数の学習が始まってしまいます。】
タイプしていてものすごく苦痛でした。 pic.twitter.com/ObL4pU41A7

タグ：超算数

posted at 17:34:00

#超算数星野氏はつづけて、【さらに、加法の意味をしっかりと理解させるのは、どちらが最初に出会う加法としてふさわしいかを吟味しなければなりません。よって「どの場合も同じ加法や減法が適用される場として判断することができる」とあるように…

タグ：超算数

posted at 17:33:58

#超算数星野氏は、引用に中略箇所のあることを明記していないだけでなく、引用の後で【加法が用いられる場面には増加と合併の2つの場合があるということです。】と書いている。これは、学習指導要領にいう足し算の用法は二つの場合しかないと誤解させかねない記述です。

タグ：超算数

posted at 17:27:11

#超算数上のツイには、星野氏による指導要領解説(2020年度から正式になるやつ)の引用と、本当の指導要領解説を並べました。星野氏は(あ)合併、(い)増加の解説に直ちに【これらの指導に当たっては、具体的な場面について】を後続させていますが、実際は足し算の用法が(お)まで、引算も同じだけ例示が。

タグ：超算数

posted at 17:21:25

#超算数さて、星野氏は44ページから足し算の解説を始めます。冒頭、【最初に図1の立場です。】と宣言していますが、図2の立場、特に学問としての数学の知見を足し算の指導に生かすという議論はありません。結局、合併と増加の区別は、指導要領に書いてあるから区別するのだという以上の話はないです。 pic.twitter.com/J2aOddnzZi

タグ：超算数

posted at 17:17:52

#Julia言語

Docker, GitHub Actions を組み合わせた Julia パッケージ開発環境を作るよ． qiita.com/SatoshiTerasak... #Qiita

タグ： Julia言語 Qiita

posted at 16:50:37

#超算数図1の最上位に【社会の要請、文部科学省】がありますが、これは有名無実かも。社会の要請を字義通りにとれば、女の子には勉強させなくてよいのような陋劣極まる意見が通る可能性もありますが、掛順足順は即刻お払い箱でしょう。文科省も怪しい。体罰とか組み体操禁止令はあまり実効性がない。

タグ：超算数

posted at 16:39:19

#超算数教師が保護者や子供から授業方針への質問を受けて、教科書会社に問い合わせをするということがけっこう報告されています。あたかも教師ないし学校は自ら教科書をどう使うべきか判断がつかないかのような態度ですが、教科書会社からの返答を自分たちの判断そのものとするのが現状のようです。

タグ：超算数

posted at 16:35:38

#超算数星野氏は43ページで【教材研究】を行うために必要な二つの立場を図示しています。図1は結構衝撃的です。指導要領が【学問としての数学】に併置され、教師が教科書に下属しています。これはどの程度法制化されているかはともかく、標準的な慣行ではないかと思われます。 pic.twitter.com/ts19btGyX2

タグ：超算数

posted at 16:30:54

山﨑理／yamazaki osamu @yamazaki_design

#超算数このとき読んでいたのが、
星野将直他『「深い学び」を可能にする算数科教育: 理論と実践の往還を実現する教師になるために』半田、一粒書房、2019年。
の
II章算数科教材の教材解釈・構成 > 1節算数科の教科書の読み方 (3)
でした。この箇所は星野氏が執筆しています。

タグ：超算数

posted at 16:23:03

オオゴマダラのさなぎ、実物を初めて見ました。どう見ても作り物にしか思えませんが、生きている蝶のさなぎです。

→つづく pic.twitter.com/DBmB1n4atm

タグ：

posted at 16:22:19

Yuki Nagai @cometscome_phys

家のドアの外に上の子(8)が見つけてきた「なんかいい感じの木の棒」があり、小学生男子感がある

タグ：

posted at 14:36:16

闇のapj @apj

@blureyrco @itallmatuzaki あけて中の樹脂掘ってみたら、どう見ても永久磁石を入れて上から樹脂を流し込んだだけの構造、分解したのを社長が見てニセか本物かわからんと発言（＝本物も同じ構造）、設置1年では目立った効果は見えない（社長談）のになぜか1年目で効果判定、そして違いが全部ポジティブな結果。

タグ：

posted at 14:07:54

Yuki Kamitani @ykamit

このようにして、間違った研究法が受け継がれていく

研究態度 blog.goo.ne.jp/aohito01/e/994...

タグ：

posted at 14:06:18

つまり make できても julia 実行に失敗する．

タグ：

posted at 13:25:04

Julia 1.3-> 1.4 の変化で libLLVM が 6 系から 8 系に変化するのでマスターブランチでラズパイ用にでビルドできてもLLVMのsoがないから動かないできゅーーーーーー．

タグ：

posted at 13:23:36

質問者2 @shinchanchi

ガチ左派の「りろん」だか「レンズ」を通したせいか、金融政策や貨幣の力を軽視する風潮、実証的に見てもセンスないんじゃないかな

タグ：

posted at 12:28:15

闇のapj @apj

大丈夫じゃないです。磁石しか入ってない装置だし、設置1年後の検査データの数値はおそらく恣意的に出されたものです。 twitter.com/kukukuku101218...

タグ：

posted at 12:20:38

闇のapj @apj

釣り針が大きすぎるｗ twitter.com/YANA1945/statu...

タグ：

posted at 12:12:09

#julialang pic.twitter.com/fpMTY5AmC8

タグ： julialang

posted at 12:01:57

#Julia言語しかし、Juliaを超高級高速電卓として使いたいライトユーザーに常に

function f(x::AbstractArray{T,N}) where {T,N}
～
end

のように書くことを要求するのは合理的ではない。私はライトユーザーなので

function f(x)
～
end

と書くことが多い。計算速度的劣化は起こらない。

タグ： Julia言語

posted at 11:47:04

#Julia言語

function f(x::Array{Float64,2})
～
end

とすると、SubArrayにもFloat64以外の配列にも使えない上に、計算速度的にも得をしない。

function f(x::AbstractArray{T,N}) where {T,N}
～
end

ならf(x)を使える範囲が広がる。

gist.github.com/genkuroki/bcd7... pic.twitter.com/BpxqcL6aMG

タグ： Julia言語

posted at 11:44:17

#Julia言語

JuliaでFloat64の2次元配列を引数に持つ函数を

function f(x::Array{Float64,2})
～
end

のように定義しても、計算速度的に何のメリットも得られず、SubArrayの引数に使えない函数が出来上がる。

Juliaの型について理解不足な段階で引数の型指定を書くと失敗することが多いと思う。

タグ： Julia言語

posted at 11:40:22

#Julia言語以前、2D Isingのシミュレーションで途中の様子の記録を配列に残したくなったとき、自分が書いたコードがInt64配列ではなく、Int8配列でもよいものになっていたおかげで、メモリを大幅に節約できた。

nbviewer.jupyter.org/gist/genkuroki...

タグ： Julia言語

posted at 11:23:21

#Julia言語 Juliaでの π は const なのですが、型は Irrational でFloat64の文脈ではFloat64に自動的に変換され、BigFloatの文脈ではBigFloatに変換されます(他の文脈でも同様)。

こういう感じの定数を気軽に作る方法が普及すると便利そうですね。誰か、解説して！

タグ： Julia言語

posted at 11:23:19

#Julia言語

Juliaでは、函数の引数の型を一切指定していなくても、函数に引数を与えた瞬間にその引数の型に合わせてコンパイルが実行されます。

だから「定数」だと思っているものの型は函数に与えた引数ごとに適切なものに変換されて欲しい。

円周率のπなんかは典型的。

タグ： Julia言語

posted at 11:23:18

#Julia言語 Re: RTs

私は数値についてはほぼconstを使わないので、どうしてconstをそんなに使いたいのか理解できない。

constを使うと型を変更できなくなって、型の固定が不要なJuliaと相性の悪いコードが出来上がりがちだと思う。

タグ： Julia言語

posted at 11:00:02

#Julia言語 Windows 8.1環境だと、MKL.jlをbuildすると、行列の対角化などの計算をMKLでできるようになるのですが、Jupyter環境で

using Plots
pyplot()
plot(sin)

でカーネルが死ぬようになったので、もとに戻しました。

twitter.com/mathsorcerer/s...

タグ： Julia言語

posted at 10:30:51

AskAboutMathP @askaboutmathp

馬脚を現す、とはまさにこれ twitter.com/sekibunnteisuu...

タグ：

posted at 09:22:38

間違えても何も問題ない。というか、間違えじゃない。 twitter.com/aco_03/status/...

タグ：

posted at 08:43:04

@kuri_kurita

何がどう違うのか、教えていただきたいです。 twitter.com/rumoi_k/status...

タグ：

posted at 08:31:13

順序はどっちでもいい、と思っている人は理解しなくていい。

「順序大事」と言っているが理解していないと、

「かける数×かけられる数の順序は大事」

などと恥ずかしいことを言ってしまうので、自分が嵌まっているカルトの教義ぐらいは知っておくべき。 twitter.com/glittermatsu/s...

タグ：

posted at 08:28:53

残り11件のツイートを見る

k @musicisthebest_

割と根本的な疑問だと思うんだけど、かけられるという受動態とかけるという能動態の意識的区別は小2に可能なの？「発達段階」適に。
そもそも、国語の授業でやるの？

タグ：

posted at 08:28:07

こういう意見もいただきました。参考までに
twitter.com/rumoi_k/status...

タグ：

posted at 08:11:49

2コマ漫画 pic.twitter.com/pXPOPVDWB5

タグ：

posted at 07:28:45

ystk @lawkus

｢一審判決後にも名誉毀損にあたるイラストを削除しなかったばかりか、実在の人物等とは関係ないという虚偽の弁解とともに当該イラストを自己のツイートに再度掲載した｣という事情は、裁判において慰謝料の増額事由と判断される可能性がありますね。

タグ：

posted at 07:14:07

拡散希望です。 twitter.com/sekibunnteisuu...

タグ：

posted at 07:08:50

ystk @lawkus

これが公営ギャンブルとして行われたらオッズ1.1倍でも全財産ぶっこめるレベル。俺のところに相談にきたら「弁護士は成果を保証してはならない決まりがあるので絶対勝てるとは言えませんが、まあ裁判官が普通に判断してくれたら負けないと思います」くらい強気の見通しを伝えられるレベル。

タグ：

posted at 06:57:16

ystk @lawkus

もしこれらのイラストについて、伊藤詩織氏のことと同定できないという理由で裁判所がセーフと判断したら、はすみさんに100万円寄付しますので振込先教えてください。 twitter.com/hasumi29430098...

タグ：

posted at 06:53:31

I could confirm MKL.jl works fine on Ubuntu machine with Julia 1.3.0

タグ：

posted at 04:22:41

峰　宗太郎 @minesoh

ワシントンポストより👶アメリカの有名な反ワクチン運動の創設者は「自然派」プロダクツを大量に売って大儲けしているよという記事…。
A major funder of the anti-vaccine movement has made millions selling natural health products www.washingtonpost.com/investigations...

タグ：

posted at 02:46:05