黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2019年06月02日(日)
#Wolfram言語 #Jupyter
github.com/WolframResearc...
の変更は我々日本語環境で使っている人にとっては実用性が高いです。なぜならば、我々は間違って非ASCII文字を入力しがちだからです。そのたびにハングするのはたまらない。変更後のファイルは
github.com/WolframResearc...
からダウンロード可能。
posted at 23:58:45
非公開
タグ：
posted at xx:xx:xx
個人的にはこの機会に #Julia言語 の Mathematica.jl の開発が再開するといいなと思っています。2年間無更新。
github.com/JuliaInterop/M...
実質的な本体は
github.com/JuliaInterop/M...
の方かな？ こちらも放置状態。
公開されたWolfram Engineが #Julia言語 から使えるようになれば本当に便利そう。
タグ： Julia言語
posted at 23:53:14
#Wolfram言語 ああ、これは助かるな。α, β, ... なんかも使えるなら、 #Julia言語 環境のように \alpha TAB で α を入力できると便利になるよね。#Wolfram言語 の #Jupyter 対応は改善の余地が大量に残っていて面白そうな題材かも。
github.com/WolframResearc...
posted at 23:49:57
#Wolfram言語 を #Jupyter で使うと
α = 1
と入力するとおかしくなるという問題があったのですが、pull request が入っていますね：
github.com/WolframResearc...
そこで
github.com/WolframResearc...
から必要なファイルをダウンロードして試してみました。添付画像のようにうまく行っています。 pic.twitter.com/3bQHdWBj5O
posted at 23:48:10
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
自宅内であればサーバーと共同ノLANにWifi経由で接続すれば原理的に可能な気がします(試してはいない) twitter.com/abap__/status/...
タグ：
posted at 23:12:47
自宅 #Jupyter サーバーで #Julia言語 を iPad から #ZeroTier 経由で使っている様子のスクショ。 pic.twitter.com/JXNuDrTJ8Y
posted at 23:02:30
@genkuroki @takuizum いつもわざわざありがとうございます。本当に助かっています。
試してみようと思っているのですが、この方法だと通信容量食いますかね…？
月4GBの万年通信制限なので、あまり容量を食うようだと通信悪くてタイムアウト不可避です😢
twitter.com/abap__/status/...
タグ：
posted at 22:52:41
#Wolfram言語 を Jupyter で使うには以下のリンク先のスレッドの方が参考になるかも。
twitter.com/genkuroki/stat...
タグ： Wolfram言語
posted at 22:15:43
#Wolfram言語 ああ、なるほど。 wolframscript を #Windows 7, 8.1 で直接起動すると開いた窓で _ を入力できないのか。
私はこのツイートが繋がっているスレッドで紹介したように #Jupyter ノートブック経由で使っているので気付きませんでした。
twitter.com/azyuki00/statu...
posted at 22:13:19
林哲平 Teppei Hayashi（台 @hwhayashite
出版関係者いわく「校閲者や司書は泣いて喜ぶと思いますよ」
毎日新聞校閲センターが共有する検索ツール集を公開。
自分の勤める会社の仲間ながら、ここまで見せるのはとても太っ腹だと思う。
あらためて彼ら彼女らの仕事に感謝したい。 mainichi-kotoba.jp/blog-20190601
タグ：
posted at 22:04:19
最適化問題も解ける。
巡回セールスマン問題を解いてみた（専用の関数がある）
点9847個に対しての計算時間は1~2秒。
得られた目的関数値は493,435（最適値は491,924）
#WolframEngine pic.twitter.com/1yiu5oow34
タグ： WolframEngine
posted at 21:32:59
あまりにも切腹が頻繁なので「おまえミシマかよ」ってうっかり口を滑らせたところ「誰？それ誰？」ってくいついてきたので迂闊にも「切腹が大好きでそんな話ばっかり書いてるうちに本当に切腹して死んじゃったヒトだ」と教えてやったら異常に気に入ったらしい。
タグ：
posted at 20:34:00
復活の呪文を彼に教わって唱えても「そんなんじゃダメなだよ。もっと気合をいれて唱えてくれ」などというのである。そこで気合をいれて唱えたところ、母親がたまげて「どうしたの」といいつつとびこんできた。
タグ：
posted at 20:29:45
それで思い出したけど俺が家庭教師してたガキが、問題が解けないと鉛筆を腹にぶっさして切腹してしまうのだった。それで、俺がドラクエのふっかつのじゅもんを唱えないと起きない。起きて勉強しようぜ、といっても「俺いま死んでるんだから話かけないでくれよ」などという。
タグ：
posted at 20:28:38
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
どうして、緊急避妊ピルを手に入れることをここまで邪魔したいのかわからない。
まず大事なのは、望まない妊娠しないこと。
ほとんどの緊急避妊は特定のパートナーとの間で起こる。頻度を考えれば当然
もっと確実な避妊法の低用量ピル使って欲しいけど、それは後で考えること
目の前の危機をまず回避
タグ：
posted at 19:37:59
オンライン診療で「緊急避妊薬」入手可能に
www.yomiuri.co.jp/science/201905...
『医療機関が近くにない時、性犯罪による心理的負担を抱える場合などに限り、初診で対面しなくてもオンライン診療を可 ３週間後の産婦人科受診も条件』
服用3週間後の受診なんて要らない。妊娠反応検査薬使ってもらえれば十分
タグ：
posted at 19:33:17
忘れてはいけないことは、文学的文章に対する論評は、論評した者自身の文学理解や文学観そのものを必然的に逆照射してしまうこと。新井氏の様々な文学作品や文学的文章に対する論評を見ていると、新井氏自身の様々な理解に非常に強い偏りがあるように見える、ということだけは間違いないように思う。
タグ：
posted at 18:01:32
この文章を「素朴な情景や感情」の表現なのか、むしろ「素朴な情景や感情」の「定型を創作」した表現なのか、そのあたりの読み手の印象によっても随分評価に違いが出るようにも思う。ただし、私は、万葉も古今も新古今も全く知らないので、この呟きは適当です^^;
タグ：
posted at 17:58:36
「真実」を求めていないとか、新古今や「詠み人知らず」や「防人のうた」との比較は理解できない。この文章が、「新古今」よりも古の歌（「万葉集」？）に連なりうる文章のようには、少なくとも私には見えないのだけれど、どうなのだろうか。
タグ：
posted at 17:55:13
文学的な文章の価値について賛否があるのは当然だ。しかし、朝日「声」欄に載ったこの文章を評価する新井紀子氏に否定的な論評を加えることが、この文章そのものを否定することにつながるという短絡は理解に苦しむ。そもそもこの文章自体を否定的に捉えることを批判する新井氏の議論にはついていけない pic.twitter.com/j02nXrMgTm
タグ：
posted at 17:52:17
非公開
タグ：
posted at xx:xx:xx
円形の池の中をネズミが泳いでいて、その周りの地面に猫がいる。猫はネズミの泳ぐスピードの4倍の速さで地面を動ける（ネズミは地面に着くと猫より速い）。さて、ネズミはどういう戦略を取れば猫から逃げられる？
Game of Cat and Mouse - Numberphile youtu.be/vF_-ob9vseM @YouTubeさんから
タグ：
posted at 17:21:38
ナショナル ジオグラフィック TV @natgeotv_jp
ケーキに触らなかったらご褒美をあげるといわれたけれど、部屋で15分間待つ間に我慢できず、食べてしまった子どもが何人かいます。
「食べてない」と嘘をつく子どもたちを、元CIA捜査官が取り調べ！
#脳トリック #ナショジオTV pic.twitter.com/COBwwgTSUa
posted at 17:00:00
Hideki Kawahara: WAS @hidekikawahara
関連情報をGoogle Scholarで調べていたら、2017年のQMULの博士論文が見つかりました。LinkedInで調べると、著者は現在UKのTech企業でChief Scientistをしているようです。232ページで状況を概観するのに便利そう。とりあえずdownloadして斜め読み。
Low Latency Audio Processing
タグ：
posted at 16:31:52
「ハワイ日系人社会は世界一の長寿集団となり、1980年代に、すでに現在の日本の平均寿命に近いレベルに達していた。ハワイの日系人社会は、食生活の適度な欧米化が長寿に貢献した地域として特筆される…１世の移住者に適切な食肉やトロピカルフルーツの摂取、塩分摂取の減少などが長寿に寄与した」187
タグ：
posted at 16:30:45
「沖縄は1980ー1990年代にかけて平均寿命が男女とも日本の都道府県別で第１位、したがって丁度その時期に相当する国際比較のデータからは血清コレステロール値が ”中庸の値”［180-200mg/dL］で脳卒中や心筋梗塞の死亡率が共に低い［前者は低コレステロール、後者は高コレステロール状態で発症］」187頁
タグ：
posted at 16:27:54
「日本人の平均寿命が70歳に達したのは女性が1960年、男性は1975年でその後20〜30年で著しく伸びた。その平均寿命の延びと同じカーブを描いているのがタンパク質…と脂肪の摂取量である。一方食塩の摂取は減少傾向…栄養改善が日本人の脳卒中死亡率を減少させ平均寿命の延長に貢献した」184頁
タグ：
posted at 16:13:09
理解していることが増えると「ああ、なるほど、これは記号的にも区別しておいた方が(記号的には同じにした方が)合理的だ」と自然に思える場合が増える。
視界が狭くなることだけは非常にまずい。
タグ：
posted at 15:39:27
記号の使い方については、「形式に従う」という発想で理解するのは普通はつらいので、教養を増やせば自然に解消する部分がものすごく多いという点を教わる側は知っておいた方がいいかも。
タグ：
posted at 15:39:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@genkuroki はい、「全部」ということは当然ないですが、0と{0}等は元ツイートのような初等的集合論入門やプログラミング言語理論入門では区別が重要、という話でした。おっしゃるような柔軟な記号法もいずれ必然的に出てくるので（具体例は分野によると思いますが）当然に扱います。補足重ね重ねどうもです。
タグ：
posted at 15:31:52
MATLABスタイルも相当に実用的。
しかし、「部品の使い回し」の観点からは、1×1行列[a]とaを同一視したりせずに、素直に双対空間のベクトルを導入した方がよいということです。
線形代数の仕組みの多くは一般の環(場合によっては非可換かもしれない)まで拡張でき、「色々」やろうとすると結構重要。
タグ：
posted at 15:22:27
しかし、その分だけ(すなわち双対空間の概念と有用性を知っていないと大変なだけ)理解が難しくなっていて、MATLABスタイルに慣れている人達は混乱したみたい。
1×1行列[a]と数aの区別について色々理解することも、数学についての広い理解が多分必要。Julia言語の開発チームはこの点で信頼性が高い。
タグ：
posted at 15:17:14
数学的には、縦ベクトルの空間の双対空間を定義して、適切に利用すれば、1×1行列が頻繁に出て来るウザさを防げます。しかし、大学1年生の最初の方でそういう話をするのはめちゃくちゃ苦しい。
これは線形代数の授業をやったことがある人なら一度は考えることだと思う。続く
タグ：
posted at 15:07:01
行列と(数)ベクトルの扱いでは、1×1行列[a]と数aの関係の扱いが要注意。
行列算の実装ではMATLABのスタイルがよく使われて来たのですが、そのスタイルでは1×1行列は数と同一視される。
1×1行列Aの要素をA[1,1]のように取り出すコードを大量に書かされるのは辛いので、これはこれで便利。続く
タグ：
posted at 15:04:32
@genkuroki 元ツイートは（初等的）集合論や、プログラミング言語理論等のまさに「記号」が重要な分野の話でしたが、たしかにnotationの"abuse"やoverloadingをはじめ、そういう考え方に慣れることも重要ですね。重ね重ねどうもです。
タグ：
posted at 14:46:13
概念的に異なることと、同じ記号で書かれていることを明瞭に区別することが肝。
* 異なるものを同じ記号で書くことも普通
だし
* 同じものを異なる記号で書くことも普通。
考えるときに記号のような形式的なものに影響されずにすむ柔軟な正確さが必要。
知っている数学が広がると自然にこうなる。
タグ：
posted at 14:33:13
現実には
「0 と {0} は異なる」
と強調するだけだと教育的にアウトで
「0 と {0} は異なるが、{0} を 0 と書くことは普通でかつ十分に合理的である」
と言っておかないと、加群の単完全列を
0→A→B→C→0
と書くというような話から疎外されまくる。
twitter.com/esumii/status/...
タグ：
posted at 14:33:11
#数楽 一般の非線形バネで質点をつなげたものの連続極限については
nbviewer.jupyter.org/gist/genkuroki...
落下する非線形バネ
の最初に簡単な解説を書いておいた。 pic.twitter.com/rc93yAVfnm
タグ： 数楽
posted at 13:49:28
#数楽 オープン戸田格子を解くとt→∞でLax表示の「L行列」が対角化される。
さらに、オープン戸田格子のexactな離散化があって、その解は離散時間でオープン戸田格子の微分方程式の解と誤差無しにぴったり一致する！
#Julia言語 #Jupyter
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/nz2rTfV3bD
posted at 13:44:51
#数楽 リンク先の記号法では、fもしくは連続極限でのスケールに合わせたφがポテンシャルの導函数。
twitter.com/genkuroki/stat...
タグ： 数楽
posted at 13:38:28
#数楽 戸田格子はくっそ面白いです。
「バネ」のポテンシャルを φ(Δu) と書くとき、力は1階の導函数φ'だけに依存し、連続極限の偏微分方程式は2階の導函数φ''だけで書ける。連続極限での境界条件にはφ'が影響して来る。
というような話はすでに上の方に書いた。
twitter.com/cojjyman/statu...
タグ： 数楽
posted at 13:35:16
大隅典子＠東北大学（『小説みたいに楽しく @sendaitribune
#東北大学 女子ラクロス七大戦優勝へ！ @Readyfor_cfさんから #クラウドファンディング readyfor.jp/projects/humbl...
タグ： クラウドファンディング 東北大学
posted at 13:16:16
もちろん #R言語 も #Jupyter で使えます。Windowsマシンも簡単にJupyterサーバーにできるので、添付画像のようにRも使えるようにしてあるWindowsマシンのJupyterサーバーに #ZeroTier 経由で iPad から接続して R を使える。
RStudioの方が便利なのでしょうが、サーバーを立てるのは(素人には)大変。 pic.twitter.com/bIS7zOnYwp
posted at 13:12:51
それで、いままで #スリンキー の問題をどんなポテンシャルで計算していたか見直してみたら、非常に性質の悪いポテンシャルだった。適当に性質のいい関数を選んで考え直さなくたはいけない。 pic.twitter.com/8wly8Xm1Aw
タグ： スリンキー
posted at 12:36:13
#スリンキー の問題を #非線形格子波動 として考えていましたら、新しく買った教科書に衝撃を受けました。非線形バネの「ポテンシャル」の関数は"V(x)=x^2/3+ax^3/3+bx^4/4"とは一般には言えなくて、xに比例する項の任意性がある。"V(x)=C+Dx+x^2/3+ax^3/3+bx^4/4"としても、運動方程式に表れない。 pic.twitter.com/dEacAUBx92
posted at 12:36:13
H. Miyoshi (ALC Japa @metaphusika
今話題のWolfram engineを試しに素で起動したら初期のMathematicaのような文字ベースのインタプリタで思わず懐かしくなってしまった。emacs lispでフロントエンドが書けそう。
タグ：
posted at 12:00:18
実は昨日、ジュンク堂の後でビックカメラに寄りまして、iPadとApplePenil買ってしまいました❗️
まだ開けてない(笑) pic.twitter.com/52Yo8pBxLM
タグ：
posted at 11:50:34
というわけで、iPad から家庭内 #Jupyter サーバーに #ZeroTier 経由で接続して、最近大きな話題になっている #Wolfram言語 のJupyterノートブックを添付画像のように使えています。
もちろん、#Julia言語 も使えています。 pic.twitter.com/wJyPV1Qic8
タグ： Julia言語 Jupyter Wolfram言語 ZeroTier
posted at 11:28:08
#Jupyter サーバーをリモートで使う方法については日本語で解説している人がものすごくたくさんいます。
www.google.com/search?q=Jupyt...
タグ： Jupyter
posted at 11:01:57
ノートパソコンであればパソコンなのでほぼなんでもできるので結果的に繋がる。
私にとっての問題はiPadやiPhoneからの家庭内Jupyterサーバーへの接続。#ZeroTier www.google.com/search?q=ZeroT... を使ったら、ものすごく簡単に接続できました。
知らない人が結構多いと思うので、宣伝してみた。
タグ： ZeroTier
posted at 11:00:11
家庭内にあるサーバーAに端末B(例えばノートパソコン)や端末C(例えばiPad)からどのように接続できるようにするか、は基本的な問題。どちらも家庭内LANに繋がっているならIPアドレスを知る方法を知っていれば簡単にできる。
問題は外部からの接続。色々な方法があるが、楽な方法を採用したい。
タグ：
posted at 10:57:17
うちでは、子が「YouTubeで見たこのゲームをやりたい」と言って来たことで、私はマインクラフトの存在を知りました。家庭内マインクラフトサーバーを作って一緒に遊ぶと楽しい。子供の側は、アルファベットの読み方とキーボードの使い方とサーバー＆クライアントモデルについて同時に学ぶことになる。
タグ：
posted at 10:54:22
#ZeroTier 導入について学ぶにはこのマインクラフトサーバー作成動画がいいかも。
www.youtube.com/watch?v=TJzay3...
#ZeroTier を使えば、例えば、自宅パソコン上で動かしているマインクラフトサーバーやJupyterサーバーに自宅外からノートパソコンやiPadやiPhoneなどからアクセスできるようになる。
タグ： ZeroTier
posted at 10:45:41
#ZeroTier は #マインクラフト を複数人で遊ぶときにも使えそう。
www.google.com/search?q=ZeroT...
posted at 10:37:04
Wolfram|Alphaからの結果は、Jupyter Notebookでは整形されて表示はできないようだ。 #WolframEngine #WolframJapan #Mathematica pic.twitter.com/J1w7hRzinA
タグ： Mathematica WolframEngine WolframJapan
posted at 10:32:59
そして偉そうなことをじぶんで言うならまずは俺自身がそうなれないといけない。いろんな人から意見を聞いて自分で考えて取り入れていく。自分をアップデートして行く。言ったことくらいちゃんとやらねぇと。そういう意味でいろんなこのアカウントに意見をくれる方達には本当に感謝。
タグ：
posted at 10:30:40
むしろ大学生は新しい授業法とかを学んでいる。大学生にとってはこれは現場で使えるのか？というのを質問できる場でもある。先生にとってはそれで初めて知る指導法もあるかもしれないのにさ。
年功序列が1番議論を停滞させるかもな
タグ：
posted at 10:26:15
いろんなやり取りをしてお互いの授業スキルを高めるのが研究授業だと思ってた。
自分より上の人の意見しか通しませんみたいな年上忖度祭りだったらもう参加したくない。
別に「それは間違ってると思います」
とかどストレートに上から目線で指摘してるわけじゃないのにさ。ほんとなんなんだろ。
タグ：
posted at 10:23:09
ちなみにですが、
「～だと思ったのですが、どうでしょうか。」という丁寧な表現でもアウト
「どうして～では無いのでしょうか」という質問でもひねくれてとったら非難してるように聞こえるのもアウト
研究授業って授業改善に使うものだろ？
大学生だから意見しちゃいけないって何
タグ：
posted at 10:20:37
#ZeroTier は自宅に #Minecraft (#マインクラフト)サーバーを作って外の友人を招待して一緒に遊ぶためにも使えそうですね。
www.google.com/search?q=zerot...
posted at 04:17:08
#Wolfram言語 #Jupyter
nbviewer.jupyter.org/github/genkuro...
Free Wolfram EngineをJupyterで使う方法
のイメージの表示函数の魔改造のバグを訂正して、Manipulateを無限ループGIFアニメで表示する魔改造も追加した。
ManipulateはExport["hoge.nb", m]してWolfram Playerで再生するといいです。
posted at 04:09:57
Hiromitsu Takagi @HiromitsuTakagi
先週の白浜に行った人へ情報提供の呼びかけ。
例の朝日の編集委員がオープンスペースでCoinhiveの例の利用者はタチが悪いと言いふらしていたとの複数の情報に接しました。更なる裏付けとなる目撃情報を募集します。同様の場面を目撃したという方は私までお知らせください。
タグ：
posted at 01:22:20
非公開
タグ：
posted at xx:xx:xx
おお、これは家庭内に限っても便利だ！
iPadを持ち歩くだけで、サーバーにある #Jupyter ノートブックを閲覧・編集・実行できる。 #Julia言語 もPythonもRもRubyも #Wolfram言語 も使える。
ZeroTier www.zerotier.com や各種ブラウザは無料で使える。有料アプリは必要ない。
posted at 00:51:07
Jupyter Labサーバーを走らせておいて
自宅パソコンのZeroTierのIPアドレス:8888/lab?token=アクセストークン
にアクセスすればJupyter Labも使えます。 pic.twitter.com/Xoebx1CnAn
タグ：
posted at 00:45:46
3. 自宅パソコンとiPadにZeroTierのIPアドレスが付与されていることを確認する。
4. 例えばアクセストークンを設定しているなら(手抜き)、iPadからブラウザで、
自宅パソコンのZeroTierのIPアドレス:8888/?token=アクセストークン
にアクセスする。
回線が遅いとタイムアウトしました。
タグ：
posted at 00:45:44
自宅 #Jupyter サーバーにiPadなどの端末から #ZeroTier 経由で接続する方法
詳細はググって自力で調べて解説を自分で書いて下さい。
1. 自宅のパソコンで外部から接続可能なJupyterサーバーを立ち上げておく。
2. 自宅パソコンとiPadの両方にZeroTierアプリを入れてZeroTier経由で接続しておく。 pic.twitter.com/vqBYm16KAe
posted at 00:45:42
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
