ラベル プログラミング の投稿を表示しています。 すべての投稿を表示
ラベル プログラミング の投稿を表示しています。 すべての投稿を表示

2014年7月30日水曜日

数学教育とプログラミング: 何を使って何をしよう?

いろいろ教えて頂いたので.



実際に小学生と勉強的なことをしようという話があるので, そこでどうしようか, というところ.
やるなら PC いくつか用意しないといけないとかこれまたいろいろな問題はあるのだが.
とりあえずは教えて頂いた本を読んでみよう.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年7月11日金曜日

記事紹介: 【Rubyが好き】微積分や統計解析を快適に扱う言語(DSL) rubyで作ったヨ！

【Rubyが好き】微積分や統計解析を快適に扱う言語(DSL) rubyで作ったヨ！ という Qiita の記事があった.


ページから少し引用してみると, こういう想いからライブラリを作っているとのこと.

少しマジレスすると僕の大好きなRubyは数学色が薄いのが少し悲しかったのです.
(蛇足ですが、この想いからrubyのMatrixクラスにシコシコcommit してます.
ex. https://github.com/ruby/ruby/pull/568
Matrixを成長させ組み合わせれば、線形微分方程式や各種統計解析など夢ヒロガリング)
ひとまず、ご覧になって雰囲気を掴んで頂くのが良いと思います.


何だかんだでちょっとしたプログラムを書くのに
Ruby はすごくよい感じがしたので,
最近 python から乗り換えた.


python を使っていたのはいくつか理由があるが,
何となく GAE で使えるし科学技術計算関係で numpy とか scipy とかあるし,
というので勉強がてら使っていた.
結局, GAE も触らないし数値計算などもしないので,
これも勉強がてらちょっと Ruby 触ってみたら少なくとも軽く書く分には
非常によかったので, 移行した感じだ.


最近, 小中高生向けにプログラミング+数学・物理みたいなことを考えているし,
それに Ruby なり (シミュレーション用途に) JavaScript を使うことを
考えてもいるので, ちょっと動きは注視したい.
投稿者 時刻: 0 件のコメント:
ラベル: , , , ,

2014年7月6日日曜日

数学教育とプログラミング: 数式処理ソフトをうまく使えるようになりたい

これ, この間 立川さんの YouTube 講義 で立川さんが
ちゃかちゃかと mathematica 使ってシミュレーションしていたのを見て,
うまく使ったらこれ面白そうだなと今更ながらに思った.


教育での数式処理ソフトの使い方, 少なくとも日本では確立されていない印象があるので,
ちょっといろいろ試してみたい.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年7月2日水曜日

記事紹介: 子ども向けのソフトウェアを開発している人たちに言いたいです．「小さい子どもにコンピュータを触らせるということ」

言われてみれば当然だがとても衝撃的でしかも面白かったので.



元記事の一部を引用しよう.
元記事には図があるので, そちらも見てほしい.


まず，最初に衝撃を受けたのは，ある子ども（小1で，
3年前ですからタブレットなんて初めて触るくらい）が頑張って部品をドラッグしようとしているんですが，
何度やっても部品をつかむことが出来ないみたいなんです．
何度もやってもつかめなくて，どんどんイライラしてきてます．
彼の指先をよく見たら，その部品の真上を触っているのではなく，
部品よりもっと向こう側で指を下ろして，指の腹でその部品を引きずろうとしていました．
彼のやろうとしていたことはこの図のような感じです．


あと最後の方のこの一文.



僕はまずソフトウェアやデバイスの負けを感じます．
自分たちがいかに特殊な操作法に毒されていたのか気づかされました．
一方で，その特殊な操作法に染まって行く子どもが増えて行くこともまた悲しいです．
彼らの無垢な部分が汚されて行く感じで．


「汚されていく」という強い表現がどこまで適切かはともかく,
面白い視点であることは間違いない.
投稿者 時刻: 0 件のコメント:
ラベル: ,

2014年6月15日日曜日

機械学習で関数論を使う機会, 本当にあるのだろうか

面白そうな呟きを見つけたので.





競技プログラミング勢,
「複素関数論は役に立たない」って言われたらどれくらいの人が同意するのか, 少し興味ある.


(複素関数論をセレクトしたのは, (ほぼ) 必修だった数学が「線型代数・微分積分・複素関数論」で,
最初の 2 つの重要性を主張するのはよく見るけど, 最後の重要性の主張はあんまり見ないから)


機械学習で複素関数論! とか, もっと主張していいんじゃないのか.
留数定理くらいなら使いどころも多かろうて.


@tmaehara 古典解析的には「複素解析までやって微積は完成する」ですけどね.
解析概論もそうですが, 初等函数の理解には複素解析が必須ですから.
確かに, 線型代数・複素解析を含めた微積の機械学習はあってもいいし, また, 競技化しても面白いかもしれません.


機械学習で関数論, 本当に使いどころあるのだろうか.
それはそうと, 前にやった関数論のセミナー, いい加減 DVD 化したい.
投稿者 時刻: 0 件のコメント:
ラベル: , , ,

2014年6月10日火曜日

数学の人に「わかりやすく数学教えろ」というアレはよく聞くが逆に社会も数学者にやさしいコンテンツを作れ


よくわかっていないのだが, 数学関係者が読める (理解しやすい) 形で,
物理 (なり色々な工学なり) の話がきちんと論じられている物理の本とかそれなりに需要あるのではないかと思うが,
そもそもパイが尋常ではないくらいに小さいので, やはりゲリラ的にやらざるを得ない感ある

@phasetr 良著でした.
(その趣旨かどうかは正確には判断はできかねますが).

@phasetr http://pc.watch.impress.co.jp/docs/2006/0925/high43.htm
これの「ネットが人々の無知を促進する可能性がある」を読むと,
工学のひとが数学に興味を持たないひとつの事例を知ることができますけど,
なんか壁をこえるべく興味もたせるのが先かなって感じしますね

@esotericaone 私個人としてはバイオインフォマティクスだとか
その他色々な文脈で「生物の人間に数学をやらせるより数学の人間に生物を学ばせる方が余程早い」とかよく聞くので,
数学の人間に暴れさせるのがいいと適当に考えています.
そういう方向の講演的な活動もやりはじめたので

@phasetr ソフトウェアだと, ものづくりやビジネス界隈の方々が「理論のためにやってるんじゃない」とか言いだすのでつらい.
理論計算機科学のひとたちが「理論という力を使え」みたいなこと言ってビジネス的に成功してたりもするので,
ぜひとも前者を殴り殺して駆逐してほしいところです

@esotericaone 世界はどうか知りませんが,
日本のソフトウェアのものづくり・ビジネス界隈はどうせデスマーチで死ぬか他のことする余裕なくなるか,
ゴミみたいなのしか作れずビジネス的に死ぬかなので放っておけば良くて,
撲殺する努力を彼らの教育と支援に充てるべきだと強弁しましょう

@phasetr このアカウントで詳細は書けませんが,
経営者にメリットを説いて理論寄りの方々 (コンパイラ作者など) の支援がある程度実現できているのが救いです.
ソフトウェアはコピーが容易で人類からするとコスパが高い側面があり,
相対的に理論提供側の声が小さいだけかもしれません

コンパイラ作者とか格好いいのでどんどんやってほしい.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年6月7日土曜日

「数論研究者のための Sage」

のらんぶるさん筋の情報.



Sage で数表を作って保存しとく手法をどっかで見たような,
と思って探したら @iwaokimura 先生の RIMS 講究録別冊の記事だった.


Dirichlet 指標のガウス和は標準装備されてるけど有限体の乗法群の指標のガウス和がない気がしたので作った.


. @nolimbre ありがとうございます.
何かのお役に立っていれば幸いです:
「数論研究者のための Sage 」 http://hdl.handle.net/10110/8946


よくわからないのだが, まだ Python 2 系しかサポートしていないのだろうか.
Python, 日本語の扱いが面倒で嫌になったので最近基本的に Ruby を使うように切り替えたが,
科学技術計算の文脈だと scipy とか numby とか充実していい印象がある.
これらを普段使わないということもあって, Ruby 移行でいいかと思ったのだが.


ただ, Sage 自体は頭に入れておこう.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年5月13日火曜日

「計算機で誤差なしで計算するための 1 つの手段が mod p 計算で代用することなので, mod $p$ 上の線型代数とか, mod $p$ 表現で何が言えるかとかは, わりと直接的な応用がある」

何ですと, という感じ.



(計算機で誤差なしで計算するための 1 つの手段が mod p 計算で代用することなので,
mod p 上の線型代数とか, mod p 表現で何が言えるかとかは, わりと直接的な応用がある)


よくわからないが気になる.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年5月4日日曜日

chibaf さんに「いかにして人は微分可能なおっぱいを手に入れたのか」に関する参考文献を教えてもらったので

いかにして人は微分可能なおっぱいを手に入れたのか 執筆に関し,
Twitter で chibaf さんに質問してみたらいろいろサイトを教えてもらった.
あとでそちらの参考文献一覧にも記録するが, いったんこちらにもまとめる.





(1) @phasetr 人体の 3D CG 表現がどんな様子かは「ニコニ立体」を眺めてみると良いと思います.
紹介記事 \(\to\) http://gigazine.net/news/20140502-3d-niconico/


(2) @phasetr ゲームでの人体表現を特に意識されていると思います.
ゲーム関連の記事 \(\to\) http://www.4gamer.net/games/000/G000000/20110908045/


(3) @phasetr 解剖学的な人体の見方 - teamLabBody-3D Motion Human Anatomy-
世界初, 生きた人間の動き・形態を再現した 3D 人体解剖アプリ
http://www.teamlabbody.com/3dnote-jp/


(4) @phasetr CG クリエイターのための人体模型コンテンツ開発
金 尚泰
http://www.slis.tsukuba.ac.jp/grad/assets/files/kenkyukiyou/10-2.3.pdf


(5) @phasetr An example-based approach to human body manipulation
http://icube-publis.unistra.fr/papr/docs/files/2684/An%20example-based%20approach%20to%20human%20body%20manipulation.pdf /
generating realistic human whole-body models


(6) @phasetr Lie Bodies: A Manifold Representation of 3D Human Shape
http://people.csail.mit.edu/freifeld/LieBodies/FreifeldAndBlack2012LieBodies.pdf


(7) @phasetr 以上です. 他にあったら, また報告します


解剖学まで持ってくるとか, 自分では絶対に考えつかないところまで出てきている.
聞いてみてよかった.
投稿者 時刻: 0 件のコメント:
ラベル: , , ,

2014年4月30日水曜日

「いかにして人は微分可能なおっぱいを手に入れたのか」というタイトルで Amazon Kindle のアダルトで本を出したいので関連する情報提供を求む

Facebook で実験をしている人がいて, 自分もやってみたくなったので.



Amazon のアダルトで表紙がこんな感じの「微分可能なおっぱいの探究」とか
「いかにして人は微分可能なおっぱいを手に入れたのか」みたいな数学書を
20 ページくらいで 100 円くらいで出してアダルト一位取れるか実験をしたいが買ってくれる方
https://pic.twitter.com/K8s5xwLxsq


@phasetr 何, ふぁぼっているちょまどさんは買ってくれるということなの


@phasetr ウケる


@mitsuomi_miyata 私はいつだって真面目です


@phasetr 見付けたら買ってみせましょう w


@phasetr それでいい


@hafucco 出した時には連絡します


@phasetr ありがとうございます.
よろしくお願いしますね.


@phasetr ちなみにこれ, 服部さんの研究も参考にすると瞬間最大風速が問題なので,
出て比較的すぐにに多くの人が買ってくれないと一位取れないので, 発火タイミングの調整も大事


@phasetr 買います!


@Taqa_ プログラミング関係の話を調べてからになるので, しばらくまっていてください. 頑張ります


ゲーム用の 3D 画像処理技術や背景となる数学, アルゴリズムなどを学べる本やサイト,
どなたかご存知の方がいらっしゃれば教えて頂けないだろうか.
誠心誠意頑張る所存.
投稿者 時刻: 0 件のコメント:
ラベル: , , ,

2014年4月28日月曜日

記事紹介: Scratch を使った津田塾での女子小学生限定プログラミング教室

以前ちょまどさんにも教えて頂いた津田塾でのアレがやはり面白そう.



石井英男のデジタル探検隊


女子小学生限定プログラミング教室体験記
~Scratch でカメラ機能を使ったオリジナルプログラムを作成


とりあえず記事タイトルだけ引用しておいた.
興味がある方は是非読み込んでほしい.



午前 10 時から午後 4 時という, かなり長丁場の教室であったが,
参加者は途中で飽きたりすることなく, 集中してプログラミングに取り組んでいた.
娘に感想を訊いたところ, 「楽しかったので, 帰ったら家でまた続きをやりたい」とのことで, 他の参加者も満足した表情を見せていた.


筆者が子どもの頃は, プログラムと言えばまずは BASIC 言語というのが一般的で,
Scratch のようなビジュアルプログラミング言語に比べると, やはりハードルが高かった.
学習指導要綱が改訂され, 中学校の技術家庭においてプログラミングが必修化されたが,
子どものうちからプログラミングに親しむことは, プラスになりこそすれ, 決してマイナスになることはないだろう.
今後もこうした機会があれば, 積極的に娘や息子を参加させていきたいと思う.


私もとりあえず近所で始めてみよう.
機会があれば津田塾に実際に潜り込んでみたい.
最悪, 知人の津田塾の学生さんの伝手を無理矢理にでも使って
参加させてもらうくらいのことも検討する.


中高生向けの JavaScript での物理シミュレーションみたいなアレも検討しているし,
プログラミングを絡めた数学・物理で遊ぶ企画, もう少し真剣に進めよう.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年4月22日火曜日

「2つのボールをぶつけると円周率がわかる」

俺達の円周率.



2つのボールをぶつけると円周率がわかる - 大人になってからの再学習 (id:Zellij) http://d.hatena.ne.jp/Zellij/20140409/p1


詳しくは上記リンク先を直接見に行ってほしい.
円周率というと, 円周率が 3.05 より大きいことを示せと出題した東大入試を想起する方の市民だった.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年4月17日木曜日

記事紹介【Scratch 2.0 で体験! お手軽フィジカルコンピューティング (3): 圧電スピーカを利用した即席「ドラムパッド」を作ろう (1/3)】

Scratch 関係のお話があったので.



Scratch 2.0 で体験!
お手軽フィジカルコンピューティング (3):
圧電スピーカを利用した即席「ドラムパッド」を作ろう (1/3)




個人的には JavaScript で何かやっていきたいのだが,
小中学生とやるなら Scratch の方がよさそうな感はある.
もっとプログラミング勉強しないと.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年4月11日金曜日

「非公式 PDF 版 SICP の全訳を公開しました」というニュースを見たので

SICP の和訳.



"非公式 PDF 版 SICP の全訳を公開しました - minghai の日記"
http://htn.to/qwHxD6


次のようなコメントがあったので, とても面白そうな予感がする.



SICP の難点


SICP は新入生向けの教科書です.
内容はとても簡単な所からスタートします.
ところが難点として SICP の内容は高校生までの数学と物理の電子回路の内容を"良く"理解していることを前提としています.
ぶっちゃけてしまえば, 課題として出てくる数学や電子回路の話が結構難しいのです.
例えば微分, 積分, 素数, 剰余, 確率, 極限, 級数, 行列の理解が必要となります.
ネットで検索すると結構 SICP を始めて 2 章までに脱落してしまう人がいるように思います.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年3月13日木曜日

(Scratch による)小学生のプログラミング学習支援, やってみたい

小学生のプログラミング学習支援, やる意味かなりありそう.
@chomado 来てた子ですかね. http://scratch.mit.edu/discuss/topic/18977/?page=4#post-261617
@abee2 !!!! そ, 素数!!!!! か, 感激です!!!!
Scratch, 本は買ってあるので早めに勉強するか. あと先生に相談しよう.
投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年3月7日金曜日

また 1 つ人助けをしてしまった方の市民だった

また 1 つ人助けをしてしまった方の市民だった.
Emacs で CSV ファイルを見るためのモードってないですかね? セル状に表示されて, カーソルがある行にアンダーラインが引かれているとかハイライトされるようになっているととても幸せなんだけど.
@konamih http://www.emacswiki.org/emacs/CsvMode csv-mode を package-install で導入はできます. http://favotter.net/status.php?id=260712362850533376 C-c C-a で整形くらいはできます. 行ハイライトは Emacs 自体の機能があります
@konamih 動作確認していませんが行ハイライトは http://www.happytrap.jp/blogs/2011/08/29/5877/ など少し探すと見つかります. 名前を忘れてすぐに見つからなかったのですが列ハイライトもできます. あと org の表形式に変換するという手も http://d.hatena.ne.jp/tamura70/20100205/org
@phasetr それはそれは! ありがとうございます.
@konamih 行・列ハイライトは crosshairs でした http://www.emacswiki.org/emacs/CrosshairHighlighting orgmode についてはるびきちさんの http://www.amazon.co.jp/gp/product/4774143278/ref=as\_li\_qf\_sp\_asin\_tl?ie=UTF8&camp=247&creative=1211&creativeASIN=4774143278&linkCode=as2&tag=phasetr-22 に基本設定から色々説明があります. crosshairs も P168 で紹介があります
@phasetr るびきちさんの本ならしっかりしてますね. ありがとうございます.
るびきちさんの本はこれ

投稿者 時刻: 0 件のコメント:
ラベル: ,

2014年3月6日木曜日

小中高校生向け数学・プログラミング教育を考えているので, 前に少し話していたちょまどさんに相談したら Scratch をお勧めされた方の市民

小中高校生向け数学・プログラミング教育を考えているので, 前に話してちょまどさんに相談してみた.
@chomado 以前小学生に素数関連の話を使ってプログラミングを教えたと仰っていたかと思いますが、 どんな内容をどんな風に教えたのかとかご教示頂けますか？ 使ったサンプルプログラムとか講義の流れとか子供達が実際に書いたプログラムとかとても気になっていて、そして私も企画してみたいので
@phasetr この記事(日記)に詳しく書きました！ http://chomado.ciao.jp/blog/programming/scratch20140111/
@chomado ありがとうございます。滅茶苦茶参考にします
@phasetr いえ！完全に日記なので参考になるか…しかし少しでも助けになれば嬉しいです！ あとなんと言っても小学生にはScratchオススメです絶対楽しいです！ 応援してます！
@chomado とりあえず一通り読んでまず深い感銘を受けた方の市民です。 小学生だとどうしたらいいのか分からない部分もあるので、 中高生くらいからアタックしようと思っているのですが、とにかく色々やってみます
というわけで Scratch だ.
【読書】 小学生からはじめるわくわくプログラミング http://powerofstudy.blog.fc2.com/blog-entry-357.html
あと次の本にちょっと興味がある.
こんな凄まじいのもあった.
/4歳の女の子にプログラミングを教えているブログがおもしろい http://gunosy.com/g/RRVXa
何か色々やってみたい.

投稿者 時刻: 0 件のコメント:
ラベル: , ,

2014年3月4日火曜日

ちょまどさんが出した乱数の数理ネタをひさこさんに教えてもらおう

美少女のちょまどさんが何やら呟いていたので.
http://chomado.ciao.jp/blog/programming/randomseed/ 初学者丸出しで恥ずかしいけど日記を書きました
@chomado 線形合同法とか疑似乱数を生成する方法とかで関数とか作ってみると入れる値の必要性が良く分るのかにゃ?
@emaxser ! なんだか高度そうな話ですね
@chomado ぜんぜん, 普通に作れちゃうので作っちゃえば良いと思います!w
@emaxser 「擬似乱数を生成する方法で関数を作る」とは, つまり rand () のようなものを自作する, ということですか?
@chomado そうそう, 線形合同法って漸化式一個だけだから簡単に関数作くれるお
@emaxser 調べてみます…ありがとうございます!
@chomado 詳しい人に聞いてみてもらいたいのですが, 「熱雑音」を利用した現実的な乱数生成法とかいうのもあるようです http://ja.wikipedia.org/wiki/%E7%86%B1%E9%9B%91%E9%9F%B3
@chomado また疑似乱数生成アルゴリズムとしてメルセンヌツイスターというのがあります http://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E3%83%BB%E3%83%84%E3%82%A4%E3%82%B9%E3%82%BF これにはそこそこ大変な数学を使っていますがひさこさんに聞けばきっと教えてくれるはず
@phasetr !! さすが数学にお詳しい…! ありがとうございます!
@chomado 「数学が何の役に立つ」と言われるのが本当に頭に来るので色々な役に立つ場面を調べてきたと言うアレです. 以前受験生にページランクの話をしたら「私は Google のページなんて使わない」と恐ろしく愚かな返事をもらって「あっこんなの調べても意味なかったのか」と気づきました
@phasetr かなしみ
@ka9e これが社会です
@chomado 逆に, seed を保存しとけば, 何度も同じ乱数を得られますね. また, seed がバレたら, 乱数じゃんけん必勝プログラムを作られる可能性もあります.
@dempacat !! たしかに! それはとても興味深いです!! ありがとうございます!
ひさこさんにぶっこんでおいたので後でメルセンヌ・ツイスター教えてもらおう.
投稿者 時刻: 0 件のコメント:
ラベル: , , ,

2014年1月24日金曜日

文系でも分かるプログラミング的な催しのお知らせがあったので

文系でも分かるプログラミング的なアレがあるらしい.
これは良い試み. 正規表現が使えるだけでも, 業務がすごく効率化する. > 文系の貴方でも週末だけで本格的なプログラミングができるようになる! 「ノンプログラマー・プログラミング講座 2014 (全八回) 」ついに開講 http://d.hatena.ne.jp/shi3z/20140109
プログラミング, 文系とか理系とか別に関係ないと思うのだがどうしてそういう話がよく出てくるのか本当に分からない. 数値計算とかそういう話なら適宜専門的なことを知らないといけないのは当然だが, 自然言語処理などは統計学関係の話の場合, これこそ当然文理関係なく必要な人は学ぶものだし. 社会, 実に難解.

ただ, こう色々な意味で相転移プロダクション的に参考になりそうな活動なのでその点で注視していきたい.
投稿者 時刻: 1 件のコメント:
ラベル: ,

2013年12月30日月曜日

初等幾何の証明とアニメーション

mathpico さんのツイートを見た.
接弦定理をモノで見せたい。 画用紙で円周角を動かしていく教材はうまく作れず、ボツ。 前回の釘打ち板も接線の表現がイマイチ。 すごく面白い定理なのに、なかなか生徒がピンとこないみたいだ… 。やっぱ、ここでパソコン登場かなぁ。
そもそも、接線というのが、イメージしづらいのかもなぁ。
ふと思い出したが, KSEG という初等幾何関係のソフトがある. これなどを使えばいいのではなかろうか. あと Geogebra はどうなのだろう. 初等幾何の証明のアニメーションも面白そうだとは思うが, それよりも一般の数学の証明それ自体をアートとして表現してみたい方の市民だった.

投稿者 時刻: 0 件のコメント:
ラベル: , ,
登録: 投稿 (Atom)