はてなキーワード: Sinとは
俺電気の仕事で飯食ってて、仕事してるときに「sinω=正弦波」っていう知識を使うことはあっても、「sin90°っていくつだっけ?」みたいなことを考える機会全くないぞ。
発電機の同期投入手動でしてる人後ろで見たことあるけど、あれだって「同じ状態になった時に入れる」を意識してるだけで、「今の状態における三角関数」とか考えてないだろ。
もしそういう情報が必要になっても一周期分のグラフ書けば大体はわかるし、必要ならパソコンに計算させればいいだけやし。
こういう話すると「でもそれは学生時代に三角関数の概念を理解して勉強した過去があるから正しいイメージが残ったんですよね?」みたいに反論される可能性もあるかもだが、ぶっちゃけ全く何も知らん小学校中退だろうと正弦波のグラフ見せて「この形覚えろ。0・90・180・270・360で0・1・0・-1・0割り振ったら、そこ目安にしてグニャって線引けばいいだけだから」と教えたらすぐ身につくレベルだと思う。
「三角関数を知らないと三角関数を使う職業に~~~」って人は具体例を上げて欲しい。
つーか三角関数ってマジで円グルーって描いて定規当てればいいだけだから九九みたいに「sin45°=√2!」「sin30°=(√3)/2!」とか必死に覚えるのって何の意味もねえと思う。
つうか学校の数学って意図的にそういう「無意味な丸暗記」の形を目指してるような感じがする。
微分積分だって「距離⇔速度⇔加速度」で教えれば理系的センスのある奴なら一瞬でわかることをいちいち無駄に時間かけてわかりにくく教えてる感じが凄い。
学校の授業で習った知識に似たものを社会に出てから使うことがあっても、それって学校で習った覚え方のままだと使い物になってねえ気がしてならねえ。
授業で習ったマニアックな文法的正しさ優先の英会話が実際の外国人相手だと微塵も役に立ってないのに近いものがあるね。
ぶっちゃけ脳みそを幼稚園児レベルにして「I need help.You are Specialist of that machine」「 when startup,This gear is berry noisy」「Thank you berry much」みたいなこと言ってりゃどうにかなんだよ大体の仕事は。
それ以上複雑な話がしたいならGoogle翻訳でええ。
それに当たり前のことを定式化したところで結局主張したいことは当たり前のことに変わりはないわけ。
お前は論文形式にしろみたいに強いるけどそれをする意味というか対価もなく他人に対して負担を強い過ぎなわけよ。
俺だって数学が価値あるものだと思ってるが先日こういうトラバが来て考えが変わった
数学を使わなければ出ないものなんて実生活では使い物にならない。
ただの役に立たない妄想でしょ。
電気で虚数が使われてるというがあれは振動をsin,cosを表現するのが面倒という理由で虚数を代替えとして置いてるだけ。
結局定式化というのは自然言語ならわかりやすく言えるものをわざと小難しく表現する作業に過ぎないのだと。
それなら俺は平易に誰にでもわかりやすく自分の発想を伝えることを志向するね。
ややもすればお前はまた反論するんだろう。
全く一体何が正しいんだよ。
究極的にはどの意見が正しいのかを判断する基準がないのは考えものだね。
かりにそれが間違ったことであってもみんながみんな同じ考えをする社会の方がいろんな考えに翻弄される身にあっては幸せな世界に思えるね。無個性化万歳。
いろんな考えがあってそのなかに正しいことがあったとしても判断する基準がなくて最終的にたどり着けないなら、最初から間違ったことを信じてるのと変わらないだけでなく、後者の方が精神的に楽なんだからな。
新海誠は2004年に「雲のむこう、約束の場所」という映画を製作している。
本論では、この映画から政治性が巧みに隠蔽され、特にアイヌ民族が消えてしまっていることを論じる。
北海道をソ連(作中ではユニオン)に占領された世界。藤沢浩紀と白川拓也はそこに建造された不思議な塔まで、自作の飛行機で密航することを夢見ていた。その秘密がふとしたことで同級生の沢渡佐由理に露見してしまうが、彼女は二人の共犯者となり、いつか彼女も塔まで連れて行ってもらうことを約束する。しかし、彼女は突如姿を消し、飛行機の話もそれっきりになってしまう。
三年後、拓也は塔の破壊を企てる反ユニオン組織ウィルタ解放戦線に内通しつつ軍属で研究し、塔の秘密を探っていた。塔の目的は並行世界の観測による高度な未来予測であった。そして、塔の設計者であるエクスン・ツキノエには孫娘がおり、その孫娘たる沢渡佐由理が原因不明の奇病で三年間眠り続けていると知る。
一方、東京に出た浩紀は、佐由理の夢に悩まされていた。そんななかで彼女の痕跡を追い、かつて入院していた病院にたどり着くと、突如佐由理と浩紀は夢の世界で心を通い合わせる。浩紀は佐由理を救うには三年前の約束を果たさねばならないと悟る。
だが、拓也側の研究の成果により、佐由理は眠り続けていることで塔からの並行宇宙の浸食を防いでいると明らかになる。彼女が目覚めれば、この世界はあっという間に浸食されるだろう。
浩紀は青森に戻り、拓也と再会する。浩紀は拓也に「ヴェラシーラに佐由理を乗せ、塔に連れていくことで佐由理は目覚める」と伝え、協力を求める。佐由理の目覚めによりこの宇宙の消失を恐れる拓也は、一度は協力を拒絶する。しかし葛藤の末、佐由理を軍の病院から連れ出してきた。浩紀は佐由理を後部座席に乗せ、米ソ開戦直前でヴェラシーラを発進させる。
緊張が極限に達した米ソは開戦し、その混乱の中で浩紀はヴェラシーラを飛ばす。塔の傍で目を覚まし、涙を流す佐由理。浩紀はウィルタ解放戦線に託された爆弾を投下し、塔を壊して宇宙の消失を食い止める。
佐由理は目を覚ました。しかし、目覚めと共に浩紀に対する思いは消えてしまっていた。
さて、先ほど述べたように、作中では日本がソ連の侵攻によって南北に分断されている。そして作中のテロ組織は(南北統一のため?)北海道の塔を破壊することを目的としている。
そこで、「ウィルタ解放戦線」という名称が問題になる。ウィルタというのは北海道ではなく、サハリン(樺太)の先住民族の名前なのだ。確かにウィルタは北海道に数名居住していたが、北海道の解放を願うなら、「アイヌ解放戦線」とならなければ筋が通らない。
アイヌ民族に言及することによる政治的問題を避けるために事実を歪曲させたのではないかと疑われる。樺太開放も目標としていたと仮定すれば、考えられなくもないが……。
祖父の名前、エクスン・ツキノエは、日本語話者にとっては異質な響きを持つ。また、ロシア語風でもない。元々新海誠は多少いい加減なネーミングを行うことがあるので、深い意味はないだろうと思って数年間はこの名前に注目してこなかった。しかし、私がたまたまアイヌ民族に関する書籍を読んでいたとき、ツキノエは国後島アイヌの首長の名であると知った。同様のことを述べたツイートがあったが、現在は消えてしまっている。
そこでエクスンとはどういう意味かというと、ここによれば「向こうへ」という意味らしい。「沢渡」という姓はここに由来している可能性がある。
http://tommy1949.world.coocan.jp/aynudictionary.htm
浩紀はラストで単身ヴェラシーラに乗り、北海道中央部にそびえる塔を破壊する。すべては佐由理の目を覚ますためであり、並行世界が流れ込んでくるリスクを引き受けてのことだった。
しかし、実はまことに政治性の強い作品である。SFっぽさと感傷的な恋愛描写がまぶされているが、描かれているのは間違いなく世界を変える(少なくとも一国の軍事施設を破壊し、地域のパワーバランスを崩壊させる)テロリズムである。米ソ開戦中の混乱に乗じてのことであり、もしも両国が責任のなすりあいを始めたらと考えると恐ろしい。
新海誠がこの件についてどの程度自覚的であったかは疑問である。どちらかといえば気分的なものでプロットを作っており、作品の政治性についてはあまり深く考えていなかったのではないか。
実際、朝鮮半島やドイツの分断に伴う深刻さは、出会えなくなった家族に言及されることもあるが目立った悲痛さはなく、この作品では過去の背景に退いている。
米ソ戦のなかで時に死体が降ってくる場面はあるけれども……?
作中では「ヴェラシーラ」とは「白い翼」の意味だと説明されていた。
はじめ、自分はこの言葉をスペイン語だと思っていた。つまり、Bella Cielaだ。アルゼンチン方言ではbをvで発音することがあるらしいし。しかしよく調べてみると、スペイン語の語順や活用の形としてはおかしい(当時のウェブ翻訳は今と比べてずっと貧弱だったし、単語の原形で検索するしかなかった)。
そこで、ロシア語ではないかと思い、いろいろなつづりを試みた。すると、「白い」は「белый」ベリイ、「力」で「сила」シラとなり、それっぽい。ソ連にいる祖父がいるのだから、彼女にロシア語の知識があったとしてもおかしくはない。意味は「白い力」になるが、「白い翼」には十分近い。ベラルーシの「ベラ」が白なので、そこから取った可能性もある(同じことを言っているページを見つけた)
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1216740382。
ただし、これもまた活用の問題がある。「白い力」はロシア語では「белая сила」ベラヤ・シラとなる。それに、よく考えればbとvの音の混同が起こっている。
もっとも、「星を追う子ども」では潜っても呼吸できる水を「ヴィータクア」、世界の果てを「フィニステラ」とラテン語としては語順が逆の形で名づけているので、そのあたりはいい加減なようだ(それぞれアクア・ヴィタエ、テラ・フィニスが標準的なラテン語の形である)。
また、同作の中では深い意味もなくセフィロトの樹が引用され、シャクナ・ヴィマーナやケツァルコアトルなど無関係な神話がコラージュ的に用いられている。その背景には明確な思想を読み取ることはできなかった。
「雲のむこう、約束の場所」では感傷的なまでに甘い思春期の心情を描いてみせた。一方で、この作品はかなり政治的な危うさをはらんでもいた。危うさの一つはテロリズムの肯定であり、もう一つはプロットに入り込んでいるはずのアイヌ民族の存在を背景に退かせたことであった。後者に関しては少なくとも筆者の知る範囲について、ヒロインがアイヌ民族のクォーターであることに言及した資料は見当たらなかった(註:とあるウェブサイトで、佐由理は恐山かどこかの巫女の家系だという初期設定に言及したところがあった。興味深いのでここにリンクを貼るhttp://www.green.dti.ne.jp/microkosmos/anime/promisedplace2.html)。
しかし、2004年には許された描写だったが、ゴールデンカムイなどで正確なアイヌの描写が出てきた2020年代にあってはどうだろうか?
最近筆者は新海作品からは遠ざかっている。映像が十分雄弁なのに、台詞で説明しすぎてしまうからだ。あるいは加齢による感受性の変化かもしれない。あるいは、この感傷マゾから「卒業」しようと自分を鼓舞したからかもしれない。本稿を書いているうちに、少し懐かしいような苦しいような気分を思い出しかけた。
作中では、北海道に建設された塔が東京からも(かなりの高さで)見える描写がある。しかし、それにしては塔が細すぎやしないだろうか? 以下、視聴当時にした計算を抜粋する。
塔が経っていたのが北海道の中央部、都心から道央まで凡そ1000kmはある。
かなりいい加減な推定だが、視力1.0を有するとは視角60秒の二点を見分ける能力があるということだ。つまり空気による散乱だの屈折だのを度外視すれば、主人公がそれだけの視力があると仮定することで塔の直径を算出できる。それにウィキペディアによれば大きく見えるときの金星がこれくらいの視角だそうだ。塔が自ら光っているわけではないだろうし、このくらいの値でいいだろう。映像を見てもそのくらいだったし。
sinθ=tanθ=θ(ラジアン)の近似を用いると、都心から道央まで凡そ1000kmはあるので1000km×(2π)×(1°/360°)×(1′/60′)= 290.8m程の直径が必要になる。荒っぽい計算だが、作中のヴェラシーラとの比較から見てもそこまでずれていない。ただ、空気があることからはるかに太いと考えたほうがいい。北海道全体が映るシーンでも塔はしっかりと見えていたし、直感的にも300m程度の太さの道央の物体が都心から見えるとは考えにくい。
なお、仰角は30°はあろうかという様子であった。三角関数で考えれば577.3km以上の高さだ。地球の自転の影響でこれだけの構造物は大きくたわむことであろう。ソビエト連邦にそれだけの物資があったかどうか。一応ユニオンは全共産圏を統合した国家だそうだし、この世界では宇宙開発の代わりに並行宇宙が研究されているとすれば、なんとかなる……かな?
名著「UNIXという考え方 - UNIX哲学」は本当に名著なのか? 〜 著者のガンカーズは何者なのかとことん調べてみた - Qiita
この記事はよく調べてあるなぁと思う反面,事実関係の間違いも多く当時の空気感など欠けていると思う部分がいくつかある。事実関係に関しては追い切れないので参考文献を挙げるにとどめておくが,空気感のほうはいくつか書いておく。なお当該記事の「当時と今では状況が全然違うんだから,安易に『UNIX 哲学』とかいうな」という主旨には大賛成である。
初期の UNIX の歴史について興味がある向きには次の書籍をお薦めする。
Peter H. Salus『A Quarter Century of UNIX』(1994, Addison-Wesley Publishing)
和訳の『UNIXの1/4世紀』(Peter H. Salus, QUIPU LLC 訳, 2000, アスキー) は絶版のうえ訳も微妙なので薦めづらいが,原書は The Unix Heritage Society (tuhs) で PDF が無償公開されているので,英語が苦にならないのなら読んでみるといい。
また同じく tuhs で無償公開されている Don Libes and Sandy Ressler『Life with UNIX』(1989, Prentice Hall)を読めば80年代終りの UNIX の状況(XENIX についてもしっかり言及されている)や利用者目線での雰囲気もある程度判るだろう。
元記事で一番気になるのが「哲学」という語の捉え方。この言葉の強さに引きずられているように読める。でもこれ,当時は設計の基本的な考え方くらいの意味でわりとよく使われていた言葉なんだよね。たとえば米 BYTE 誌のアーカイブを “philosophy” で全文検索するとこんな感じ。
https://archive.org/details/byte-magazine?query=philosophy&sin=TXT&sort=date
ほぼ毎号のように出現していたのが判るだろう。
もっとも猫も杓子も「哲学」を振りかざしていたわけではないし,UNIX の開発者たちが「哲学」の語を好んで使っていたのも間違いないように思う。傍証の一つが AT&T の定期刊行物『The Bell System Technical Journal』の1978年7, 8月号だ。元記事で言及されているマキルロイの Forword の初出がこれで,ネットのアーカイブから PDF が入手できる。
この号は二部構成になっていて第一部が Atlanta Fiber System に関する論文12本(全172ページ),第二部が UNIX に関する(Preface や Foreword を含む)論文22本(全416ページ)となっている。さて前述の PDF は OCR されているので “philosophy” で全文検索してみると8箇所見つかる。これが見事に全部 UNIX の論文なのだ。もちろん論文の性質もページ数も違うからこれだけで確定的なことはいえないが「日常的に使っていたんだろうなぁ」という推測は成り立つだろう。じつはマキルロイの哲学とされている部分は “Style” であり “philosophy” の語は一切使われていないというのもちょっと面白い。UNIX の開発者たちがなぜ「哲学」という語を好んだか正確なところは判らないが,それまでにない新しい考え方に基づいた OS を開発しているという意識があれば,そういう言葉を選ぶのが自然な時代だったことは間違いない。
UNIX が認知され拡がっていく過程で「哲学」も知られるようになっていった。自分が好むものの良さを他人にも識ってもらいたい,あわよくば他人もそれを好むようになって欲しいという布教活動は今も昔を変らないわけで「哲学」はその便利なツールとなったわけだ。元記事ではガンカースの著作を「外部の人間が後から打ち立てた哲学」と表現しているが,そんなたいしたものではない。マキルロイの論文に影響を受けた布教のためのああいう説教は到るところにあった。たとえば前掲の『Life with UNIX』にもしっかり Philosophy の項がある。また日本で最初期の UNIX 解説本のひとつである,村井純・井上尚司・砂原秀樹『プロフェッショナル UNIX』(1986,アスキー)には冒頭次のような一節がある。
オペレーティング・システムは,コンピュータを使うものにとっての環境を形成する基盤であるから,そのうえで生活する者の個性を尊重し,より良い環境へと作り上げて行く課程を支援するような素材を提供するソフトウェアでなければならない。この主張こそが,UNIX のオペレーティング・システムとしての個性ではないだろうか。
「より良い環境へと作り上げて行く課程を支援するような素材を提供するソフトウェア」とはテキストを入出力フォーマットとする単機能のコマンド群のことで,これらをパイプでつなげたりシェルスクリプトでまとめたりすることで「そのうえで生活する者の個性を尊重し」た「より良い環境へと作り上げて行く」ということだ。こういった説教はありふれたものであった。たんにそれを「哲学」の語を用いて書籍にまとめたのが,たまたまガンカースだったというだけのことである。
そしてじつは UNIX の場合,布教活動とはべつに「哲学」を広めなければならない切実な理由があった。これを説明するのは非常に面倒くさい。当時と今ではあまりにも環境が違うのだが,その違いが判らないと切実さが伝わらないからだ。マア頑張ってみよう。
UNIX は PDP というミニコンピュータ(ミニコン)上に開発された。このミニコンを使うためには専用の部屋に行く必要がある。その部屋は,もちろん場所によって違うわけだが,マアおおよそ学校の教室くらいの大きさだ。長机が何列か並んでおり,そのうえにはブラウン管ディスプレイとキーボードを備えた機器が等間隔に置かれている。壁際にはプリンタが何台かあるだろう。通っていた学校にコンピュータ室などと呼ばれる部屋があったならそれを思い浮かべればだいたい合ってる。ただし置かれている機器はコンピュータではなくコンピュータに接続するための端末装置(ターミナル)だ。端末装置のキーボードで打った文字がコンピュータに送られコンピュータが表示した文字がそのディスプレイに表示される。現在 Unix 系 OS で CLI を使うときターミナルとか xterm という名のアプリケーションを用いるがこれらは端末装置のエミュレータで,もともとは実体のある装置だったわけだ。
さてコンピュータ室にたいていは隣接するかたちでマシンルームなどと呼ばれる六畳くらいの部屋がある。窓ガラスで仕切られたこの部屋には箪笥や洗濯機くらいの大きさの装置が何台か置かれている。これがコンピュータ本体だ。もっともコンピュータが何台もあるわけではない。この箪笥が CPU でそっちの洗濯機がハードディスク,あの机に置かれているタイプライタが管理用コンソールといった具合に何台かある装置全部で一台のコンピュータになる。どこが〝ミニ〟だと突っ込みたくなるかもしれないが「六畳で収まるなんて,なんてミニ!」という時代のお話だ。
端末装置それぞれから(USB のご先祖様の)RS-232 という規格のアオダイショウみたいなケーブルが伸び,マシンルームに置かれたターミナルマルチプレクサと呼ばれるスーツケースに台数分のアオダイショウが刺さってコンピュータとの通信を行う。コンピュータと多数の端末装置を含めたこれら全体をサイトと呼び,root 権限を持って管理業務を行う人をシステム管理者あるいはスーパーユーザと呼んだ。
結構上手に説明できたと思うのだが雰囲気は伝わっただろうか。ここで重要なのは一台のコンピュータを数十人が一斉に使っていたという事実だ。洗濯機とかアオダイショウとかは,マアどうでもいい。
当時の UNIX の評価を一言で表すと〝自由で不安定な OS〟となる。メーカお仕着せではなく自分好みの「より良い環境」を作りあげる自由。さらに他のメインフレームやミニコン用 OS に比べると一般ユーザ権限でできることが圧倒的に多かった。そしてその代償が不安定さ。今では考えられないが UNIX のその不安定さゆえにプロ用 OS ではないと考える向きは多かったし「でも UNIX ってすぐ落ちるじゃん」というのは UNIX アンチ定番のディスりだった。UNIX の落とし方,みたいな情報がなんとなく廻ってきたものだ。
こういった雰囲気を鮮やかに伝えてくれるのが,高野豊『root から / へのメッセージ』(1991,アスキー)だ。当時アスキーが発行していた雑誌『UNIX MAGAZINE』に連載されていた氏のエッセイの1986年11月号から1988年10月号掲載分までをまとめた書籍である。著者の高野氏は勤務先の松下電器で1980年ごろから UNIX サイトのスーパーユーザを務めており,日本では最古参の一人である。この本の中で高野氏は繰返し UNIX の自由さと不安定さに言及している。すこし長くなるが,その中の一つを引用しよう。
CPU は,システムにとって重要な共有資源であるが,この CPU を実質的に停めてしまうことが UNIX ではいとも簡単にできる。たとえば,cc コマンドを10個くらい同時に走らせてみたらよい。VAX-11/780 といえども,同時に実行できるコンパイルはせいぜい3つか4つである。それ以上実行することも当然可能ではあるが,他に与える影響が無視できなくなる。つまり,てきめんに vi のカーソルが動かなくなる。あるいは,すこし大きめなディレクトリ上での ls コマンドの出力が表示されるまでに煙草を1本吸い終えてしまったり,タイムアウトでログインが撥ねつけられたりといったバカげた現象が起きだすのである。こういった状態になると,UNIX は破壊されたに等しい。真夜中,独りで VAX を占有して使っているのなら何をやろうとかまわない。しかし,20人30人と多数の人間が使っているときに勝手をやられると非常に困るのである。当人の仕事が遅れるのは自業自得だとしても,そのとばっちりで他のエディタまで止まってしまうと,もはやどの仕事も進行しなくなる。
ディスクについても同様なことがいえる。UNIX では,ファイルシステムを使いはたすまで大きなファイルを自由に作ることができる。したがって,自分のプロセスがいったいどのくらいの容量のファイルを作り出すのか見当もつけられないようなアマチュアが使うと悲惨なことになる。ディスクを使いはたすと,コンソール・タイプライターにエラー・メッセージが出力されるが,夜中にそれが発生して,コンソール・タイプライターが一晩中エラー・メッセージを打ち続け,朝マシンルームに行ってみると紙を一箱打ち尽くしてしまい,ピーピーと悲しげな声を上げて人を呼んでいた光景を私は何度も見てきた。こうなると,それをしでかした本人のプロセスは当然のこととしても,同じディスクで走っている他のプロセスも先に進めなくなってしまう。すこしでも負荷を夜間にまわそうとする善意は逆転してしまい,わずかでも仕事を先に進めようとする意図も完璧に打ち砕かれてしまうのである。
そして,こうした不安定さが「哲学」を必要としたのだ。自分が利用しているサイトに「cc コマンドを10個くらい同時に走らせ」たり「自分のプロセスがいったいどのくらいの容量のファイルを作り出すのか見当もつけられないようなアマチュア」がいるとその累は自分にも及んでしまう。だからサイトの利用者全員に UNIX の設計の基本的な考え方を理解してもらうことが,自分のために必要だった。UNIX の伝道がより苛烈だった理由のひとつがここにあるのだ。
ミニコン上で誕生した UNIX は 4.3BSD(1986)で最高潮を迎える。注意したいのはミニコン時代の UNIX は Research UNIX と CSRG BSD みたいな区別をせずにまとめて UNIX として扱われていたことだ。実際『プロフェッショナル UNIX』も『root から〜』も UNIX と記述されてはいるが実際には BSD を扱っている。べつに当時の人が無知だったわけではない。なにしろ BSD を利用するためにはまず AT&T から UNIX のライセンスを購入し,そのうえでカリフォルニア大学バークレー校(UCB)から BSD を入手しなければならなかったからその関係は当然広く知られていた。ベル研で発明された UNIX を外部の人たちも含めみんなで改良し,それら全体が UNIX であるという考え方が自然だっただけである。『Life with UNIX』のような英語の文献によく登場する “Berkeley UNIX” という言い回しが当時の気分をよく表している。UNIX vs BSD みたいな捉え方は法廷闘争を経た90年代以降の感覚だ。
もっともそういう70年代風味の牧歌的風景はミニコン世界限定の話であった。BSD そのものはミニコン用のものしかなかったが,そのコードを受け継いだ BSD 系 Unix や AT&T が推し進める System V などがワークステーション市場を舞台に80年代中盤から激しく覇権を争うようになる。いわゆる Unix 戦争で,PC 用 Unix であるマイクロソフトの XENIX も当然参戦した。ミニコン世界が牧歌的だったのは,ぶっちゃけていえば先のない技術だったからだ。ただ Unix 戦争はあくまでも標準という聖杯を争う戦いであり,AT&T と BSD 系 Unix の Sun Microsystems が共同で System V Release 4.0 (SVR4) を作りあげたように後の法廷闘争とは趣が違う。
こうしたミニコン UNIX からワークステーション Unix への転変は Unix そのものや文化にも変化をもたらした。まず激しい競争は Unix の高機能化を加速した。商品として判りやすい惹句が「あれもできます,これもできます」なのは誰もが知っている。もちろん安定性を増すために quota のような利用者の自由を制限する機能も含まれていた。またワークステーション Unix は現在の Unix 系 OS と同様同時に一人が使うものであり前述の布教の必要性は大幅に減じた。達人たちのみの楽園から万人に開かれた道具に変ったのだ。こういった変化を体感したければ『root から〜』と水越賢治『スーパーユーザの日々』(1993,オーム社)を読み比べてみるといい。『スーパーユーザの日々』はワークステーション Unix のシステム管理の入門書だ。この本ではたんに知識を羅列するかわりに架空のソフトウェアハウス(開発会社)を舞台に新卒社員が先輩社員からシステム管理を学ぶという体裁をとっており,そのおかげで架空の話とはいえ90年代前半の雰囲気が堪能できる。出版年でいえば『root から〜』と二年しか違わない『スーパーユーザの日々』の落差は “dog year” と称された当時の激烈な変化まで体感できるだろう。
当時はよくいわれたのに今やほとんど聞かれなくなったものがある。マキルロイの論文の結論部分に書かれたそれは,1973年に出版されたイギリスの経済学者エルンスト・シューマッハーの著作の題名で,中学生の英語力があれば十分に理解できる平明な一文だ。
Small is beautiful.
マキルロイは『人月の神話』を引いて一定の留保をつけてはいるものの,これが UNIX 哲学の背骨であることに違いはない。機能をありったけ詰め込もうとして失敗した “kitchen-in-a-sink” な MULTI•cs のアンチテーゼである UNI•x にとって,これ以上のスローガンがあるだろうか?
ひるがえって現在の Unix 系 OS をみれば,ブクブクと肥え太ったシステムコール,全容を俯瞰するだけでも一苦労するライブラリインターフェイス,一生使うことのないオプションスイッチまみれのコマンド群。UNIX が仮想敵とした OS そのものだ。そのことについてとくになにも思わない。ハードウェアは長足の進歩を遂げ,コンピュータの応用範囲は途方もなく拡がった。UNIX が変らなければたんに打ち棄てられ,歴史書を飾る一項目になっただけだ。ただ現在「UNIX 哲学」を語るならそうした背景は理解していなければならないし,どれだけ繊細な注意を払ったところで〝つまみ食い〟になってしまうことは自覚すべきだ。
三角関数がないと「振動」という現象をグラフと数値で捉えることが出来なくなる(sin波を局所的に多項式で近似するしかなくなるため)。
振動現象は物理にしろ化学にしろ金融にしろ政治にしろ、世界と社会のあらゆる場面に現れる(簡単な常微分方程式の解のため)。
まあ、グラフと数値を一切扱わないなら三角関数勉強しなくてもいいと思う。
それまで二次関数とか方程式でxとかyとかしか触れ合ってなかったのに
いきなりsinとかcosって何?3文字ってどういうこと?ってなる
しかもsin θ って、ちょっと待って、なんて読むのコレ、え、シータ?パズーは?みたいに疑問が絶えない
三文字を乗り越えていざ中身を確認してみると直角三角形の比率だ、とのこと
最初から半径1の円のx,y座標、ぐらいで教えた方がいいと思う
sin(0) = sin(2π)って、え?どういうこと?ってなる
それまで循環なんて知らなかった人からすると度肝を抜かれる
おまけにsin(π/2) = cos(0)とか、ちょっと待って、じゃぁsinだけで良くない?ってなる
実はこれが一番の要因だと思うけれど関連する公式が無茶苦茶あるし覚えにくい
sin(α+β)= sin(α)cos(β) + cos(α)sin(β) とか(合ってる?)
しかもこの手の公式を使って方程式を解け、とかが無茶苦茶難しい
初見で解ける人は天才で、数をこなしてパターンとして覚えるしかない
なので脳の領域をかなり消費するんだけど、こういう方程式の読解は本当に数学系じゃないと使わない
なので「何に使うのコレ」っていう気分になって、そのうち「三角関数って使うの?」ってなるんだと思う
三角関数を教えるな、っていうのは極論だけど
この手の公式を山ほど覚えたり、解法のパターンを暗記させていくのは本当に必要か?という気にはなる
とはいえ、他に教えることも無いし、篩いとしては良い例題だと思う
今の高校数学ってオイラーの定理までやるのかなぁ?そこまで行くと数学に興味が出たりするから、やっぱり三角関数は必要だと思う
掛け算の順序問題なるものがある。
「りんごが4つ入った袋が3つあったらりんごは全部でいくつありますか?」という問題に「4×3=12 答え 12個」と「3×4=12 答え 12個」という回答があって、前者だけを正答とすべきだとか両方正答とするべきだとか、そういう問題だ。長方形の面積について話している場合もある。
この意見の対立には、(一面として)数学をどのように抽象的に捉えるか、というのや数学・算数という科目の持つ役割に関してのスタンスの相違が原因にあると考える。
数学をより純粋に抽象的に捉えるにしたがって「順序強要」→「順序容認」→「順序強要」のように立場が変化することを以下で述べる。
念の為記しておくが、この文章は掛け算の順序問題に関してどの立場が正しいというような文章ではない。
俺は教育の専門家でもなければ小学生に算数を教えたベテラン教師というわけでもない。
数学への向き合い方が真摯になるにつれて変化する立場が単調でないことに気づき、その非自明な振る舞いについて筆を執ろうと思っただけのものである。
この文章で誰かの何らかに影響があればそれは幸いである。
「りんごが4つ入った袋が3つあったらりんごは全部でいくつありますか?」という問題に「4×3=12 答え 12個」と答えるのが正答であり、「3×4=12 答え 12個」と答えるのは誤答であるという立場である。
"4×3"という数式には「『1つぶんが4つ』のものが『3つぶん』ある」という意味があるとして、"3×4"という数式は題意にそぐわないとする。
正直なところ、数学でこれを正当化するような解釈を俺は知らない。
より高学年、あるいは中学・高校・大学・それ以降で出現する数式(例えば e^iθ=i sinθ+cosθ が成り立つとは、どういう意味合いのものが等しいということを言っているんだろうか?)に対して、その数式の"意味"は適切に存在して、何らかの実態と一致するだろうか。そのような体系がある場合、ぜひ知りたいのでご一報いただければ嬉しい。
上記の思想とは翻って「4×3=12 答え 12個」も「3×4=12 答え 12個」も正答とする立場である。
数式そのものに何か「実際的意味」はなく、そこには記号の間の関係や操作があるという立場はより現代的な数学に近いものであり、納得できるものだろう。
俺が現実で計算をするときもこの立場にいる。「日本国民全員が2回ずつ…」などと聞いたら脳内で出てくる式は"1億3000万×2=2億6000万"だし、「2人が1億3000万個ずつ…」と聞いても思い浮かべる式は"1億3000万×2=2億6000万"のままだ(自分の脳は乗数が単純なほど高速に乗算が行えるから、そのような式のほうを思い浮かべるように訓練されたのではないかと思う)。単なる道具としての使い勝手ならば、この立場はとても強い。道具として(正しい答えを出せるなら、という条件付きだが)順序を気にしない方が順序を気にする方より楽だろう。
算数を「現実の事柄に付随して必要となる計算を正しく行う能力を育てる」科目だと考えるなら──教養(大学などで学ぶそれではない)としての算術としての用途としては実際にそれで十分だろう──、真っ当な立場だろう。
しかし、この立場には少し弱いところがある。
数式そのものに意味はないとするのはよいが、その結果立式の段階で「状況」から一足飛ばしで「数式」が出来上がっている。これは、少なくとも数学の厳密な操作ではない。より厳密であろうとするならば、次の立場になるだろう。
数学的に厳密な立場であろうとするならば、意味論的操作を取り除く必要がある。この立場において、「『ひとつ分の数』が『いくつ分』あるとき、全体で『(ひとつ分の数)×(いくつ分)』あります」という定義にしたがって被乗数と乗数を区別することには意義がある。
この立場では、「りんごが4つ入った袋が3つあったらりんごは全部でいくつありますか?」という問題文に記述欄があった上で、「4×3=12 答え 12個」と答えるのも「3×4=12 答え 12個」と答えるのも厳密には誤答とする。
「これは、りんごが袋ひとつ分につき4つあり、袋が3つ分あるので、全体で4×3個のりんごがある。4×3=12なので、答えは12個である。 答え 12個」のように定義の形式に構文的に当てはめて答えて初めて正答である。この立場は「3×4=12」という立式を否定するものではない。「りんごを袋にひとつずつ入れていくことを考えると、これは一周分につき3つのりんごを入れ、4周分入れるので全体で3×4個のりんごがある。3×4=12なので、12個入れたことになり、全部でりんごは12個ある。 答え 12個」という回答も正答である。
この立場のもとで、「これは、りんごが袋ひとつ分につき4つあり、袋が3つ分あるので、全体で3×4個のりんごがある。3×4=12なので、答えは12個である。 答え 12個」という回答は全くの間違いとなる。「3×4=12」という立式ができる解釈はあるが、その式を導出するに至る構文的操作が誤っているためである。同様に、定義が「『ひとつ分の数』が『いくつ分』あるとき、全体で『(いくつ分)×(ひとつ分の数)』あります」というものならば、「これは、りんごが袋ひとつ分につき4つあり、袋が3つ分あるので、全体で4×3個のりんごがある。4×3=12なので、答えは12個である。 答え 12個」という回答は間違いとなる。
"3×4"と"4×3"はそれが"12"と等しいことを示すための証明木も異なるなど、式として完全に異なるものである。値が等しいことは証明されるべき非自明な命題であり、何も断らず用いてよいことではない。
「被乗数と乗数を入れ替えても答えが変わらないため、立式の際に断らずにこれらを入れ替えることがある」と答案の先頭で述べてある答案があれば(このようなことが書ける生徒は単なる乗算でつまづくような生徒ではないだろうが)、「りんごが袋ひとつ分につき4つあり、袋が3つ分あるので、全体で3×4個」でも正答としてよいだろう。
余談だが、長方形の面積に関してさらに状況は混迷を極める場合がある。長方形の面積を「たて×よこ」とするとき、これは「定義」か、「定理」かすら明らかでない。「1cm×1cmの正方形の面積は1cm^2」で「1cm×1cmの正方形がある図形にすきまも重なりもなく敷き詰められる場合その図形の面積は 使った正方形の個数 cm^2」という定義によって導かれる「定理」とする立場もあるだろう。この場合、「たて×よこ」は単なる立式の1宗派に過ぎず「よこ×たて」で面積を計算しようと1つ1つ数えようとどんな式で計算しようと使った正方形の個数を正しく導くことができる式ならば正答である。対して、「たて×よこ」が「定義」ならば、どちらを"たて"と見るかを記述する2択のみがあり、それ以外は誤答である(別の定理がある場合を除く)。
この思想は非常に窮屈に思えるかもしれないが、数学の直感的理解を否定するものではない。
必ずしも全生徒がそこまで進むわけではないが、数学科などで学ぶような数学においてはこのような思想が顕著になる。
純粋な数学において、自然数すら現実の何の対象とも厳密には対応せず、論理学は実際の"正しさ"と一致する保証を持たせるものではない。数学基礎論などを学ぶことでこのような数学の思想に触れることができると考える。
もし俺が正義感とやる気と生徒への期待と十分な時間を持ち合わせているなら、生徒にこのように指導するだろう。算数(は賛否両論あるかもしれないが)・数学は計算するだけの科目ではなく、論理学を学ぶための学問でもあるからだ。特に文章題を「現実の対象を数学的にモデル化してそこから論理的に結論を導く」ことを問うものであるとするならば、この立場に立つことには合理性がある。
しかし、これは理想的な状況における対応である。例えば回答欄が「(しき) (こたえ)」のように分かれている場合、そもそもこのような記述を行うべき欄がない。この場合、問題文を「『ひとつ分の数』が4であるようなものが3つ分あるとき、全体でいくつあるでしょう?」のように非常に定義に近づけて初めて「3×4=12」を減点する準備が整うといえよう(これでもまだ即座に誤答とするべきではないだろう)。そうでない場合、「4×3=12」と「3×4=12」の2つの式は同程度に論理の飛躍を伴っており、それらに点数の別をつけるべきではないかもしれない。
冒頭でも述べた通り俺は教育の専門家でもなんでもないから、どの立場を取れば生徒がよく理解するかなどについて何も言えない(どの立場に対しても理解できる生徒と理解できない生徒がいるだろうと思うが)。
個人的には2つ目と3つ目の中間のような立場だ。算数は計算をするだけでもないし論理をするだけでもない。単に計算をする手段としてなら順番なんてどうでもいい、素早く正しい答えが出るなら3袋の4個入りみかんを見て3+3+3+3だと思おうが(2*2)*3だと思おうが10+2だと思おうが構わない。他人と考えを共有するための道具なら前提から論理を組み立てる訓練が必要で、掛け算の順番にまで気を遣わなければ意味のある結果を出せない。数学はどちらをする科目でもあることに我々は自覚的だろうか。