「Sin」を含む日記 RSS

はてなキーワード: Sinとは

2022-12-21

anond:20221221101902

しか歴史的にはsinのほうが先に重用されたって話があった気がする

天体観測でもっぱら使うのはsinから

anond:20221221101902

角θから見てsinを出す辺の場所直感的だろ

sinの辺を放置してcosの辺を重用するのはなんか変だ

anond:20221221101902

sincosが便利な性質から三角関数代表になるのはわかるんだが、tan必要

というより

tanは何故sincosに次いで代表っぽくなっているのか?三角関数は他にseccsc、cotがあるのに

という疑問の方が芯を食っているのではないだろうか

2022-11-26

学校で習った三角関数を使う職業」って実際にどれぐらいあんの?

ぶっちゃけ使わんだろ99.9%ぐらいの職業で。

電気仕事で飯食ってて、仕事してるときに「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翻訳でええ。

学校で習うものが実社会で使えると思ってる奴は実際に使ってない奴ばっか。

2022-09-17

anond:20220916181520

それに当たり前のことを定式化したところで結局主張したいことは当たり前のことに変わりはないわけ。

お前は論文形式しろみたいに強いるけどそれをする意味というか対価もなく他人に対して負担を強い過ぎなわけよ。

だって数学価値あるものだと思ってるが先日こういうトラバが来て考えが変わった

数学を使わなければ出ないものなんて実生活では使い物にならない。

ただの役に立たない妄想でしょ。

多次元空間性質3次元で役に立たんでしょ。

仮に多次元に行けるなら、眺めて確認すればいいだけ。

わざわざ数学的に出す意味ないよ。

からあなた馬鹿なんだよ。

電気虚数が使われてるというがあれは振動sin,cos表現するのが面倒という理由虚数代替えとして置いてるだけ。

虚数が役に立ってるんじゃない。めんどくさいから同じ虚数代替えでおいてるだけ。

理解力が高いと自認する数学者気取りらしい発言だなと思った。

結局定式化というのは自然言語ならわかりやすく言えるものをわざと小難しく表現する作業に過ぎないのだと。

それなら俺は平易に誰にでもわかりやす自分の発想を伝えることを志向するね。

ややもすればお前はまた反論するんだろう。

全く一体何が正しいんだよ。

究極的にはどの意見が正しいのかを判断する基準がないのは考えものだね。

かりにそれが間違ったことであってもみんながみんな同じ考えをする社会の方がいろんな考えに翻弄される身にあっては幸せ世界に思えるね。無個性化万歳

いろんな考えがあってそのなかに正しいことがあったとしても判断する基準がなくて最終的にたどり着けないなら、最初から間違ったことを信じてるのと変わらないだけでなく、後者の方が精神的に楽なんだからな。

2022-08-24

anond:20220824161910

からあなた馬鹿なんだよ。

電気虚数が使われてるというがあれは振動sin,cos表現するのが面倒という理由虚数代替えとして置いてるだけ。

虚数が役に立ってるんじゃない。めんどくさいから同じ虚数代替えでおいてるだけ。

理解力が高いと自認する数学者気取りらしい発言だなと思った。

2022-08-03

新海アニメ隠蔽したものアイヌヒロイン政治性&塔の大きさ

新海誠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以上の高さだ。地球の自転の影響でこれだけの構造物は大きくたわむことであろう。ソビエト連邦にそれだけの物資があったかどうか。一応ユニオンは全共産圏統合した国家だそうだし、この世界では宇宙開発の代わりに並行宇宙研究されているとすれば、なんとかなる……かな?

2022-07-28

ACID A MANA

SUZUKI FUCK

TERA DA SIN

 

やっぱワールドワイド活躍を考えて

子役名前って付けてるんだろうか

2022-07-24

anond:20220724011003

追記だが、キリスト教におけるsin概念を誤解してるぞ。

っつーかなんでsinが「罰」やねん。

そんで、現在過去未来の全ての罰はキリストが背負ったから我々は罰を受けない、というのがキリスト教だぞ。

2022-07-18

UNIX 哲学」についていくつか

名著「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ページ)となっている。さて前述の PDFOCR されているので “philosophy” で全文検索してみると8箇所見つかる。これが見事に全部 UNIX論文なのだ。もちろん論文性質もページ数も違うからこれだけで確定的なことはいえないが「日常的に使っていたんだろうなぁ」という推測は成り立つだろう。じつはマキルロイ哲学とされている部分は “Style” であり “philosophy” の語は一切使われていないというのもちょっと面白いUNIX開発者たちがなぜ「哲学」という語を好んだか正確なところは判らないが,それまでにない新しい考え方に基づいた OS を開発しているという意識があれば,そういう言葉を選ぶのが自然時代だったことは間違いない。

UNIX認知され拡がっていく過程で「哲学」も知られるようになっていった。自分が好むものの良さを他人にも識ってもらいたい,あわよくば他人もそれを好むようになって欲しいという布教活動は今も昔を変らないわけで「哲学」はその便利なツールとなったわけだ。元記事ではガンカースの著作を「外部の人間が後から打ち立てた哲学」と表現しているが,そんなたいしたものではない。マキルロイ論文に影響を受けた布教のためのああい説教は到るところにあった。たとえば前掲の『Life with UNIX』にもしっかり Philosophy の項がある。また日本最初期の UNIX 解説本のひとつである村井純井上尚司・砂原秀樹『プロフェッショナル UNIX』(1986,アスキー)には冒頭次のような一節がある。

オペレーティングシステムは,コンピュータを使うものにとっての環境形成する基盤であるから,そのうえで生活する者の個性尊重し,より良い環境へと作り上げて行く課程を支援するような素材を提供するソフトウェアでなければならない。この主張こそが,UNIXオペレーティングシステムとしての個性ではないだろうか。

 

    プロフェッショナル UNIX村井純井上尚司・砂原秀樹,1986,アスキー)p 3.

「より良い環境へと作り上げて行く課程を支援するような素材を提供するソフトウェア」とはテキストを入出力フォーマットとする単機能コマンド群のことで,これらをパイプでつなげたりシェルスクリプトでまとめたりすることで「そのうえで生活する者の個性尊重し」た「より良い環境へと作り上げて行く」ということだ。こういった説教はありふれたものであった。たんにそれを「哲学」の語を用いて書籍にまとめたのが,たまたまガンカースだったというだけのことである

そしてじつは UNIX場合布教活動とはべつに「哲学」を広めなければならない切実な理由があった。これを説明するのは非常に面倒くさい。当時と今ではあまりにも環境が違うのだが,その違いが判らないと切実さが伝わらないからだ。マア頑張ってみよう。

UNIX の利用環境

UNIXPDP というミニコンピュータミニコン)上に開発された。このミニコンを使うためには専用の部屋に行く必要がある。その部屋は,もちろん場所によって違うわけだが,マアおおよそ学校教室くらいの大きさだ。長机が何列か並んでおり,そのうえにはブラウン管ディスプレイキーボードを備えた機器が等間隔に置かれている。壁際にはプリンタが何台かあるだろう。通っていた学校コンピュータ室などと呼ばれる部屋があったならそれを思い浮かべればだいたい合ってる。ただし置かれている機器コンピュータではなくコンピュータ接続するための端末装置ターミナル)だ。端末装置キーボードで打った文字コンピュータに送られコンピュータが表示した文字がそのディスプレイに表示される。現在 UnixOSCLI を使うときターミナルとか xterm という名のアプリケーションを用いるがこれらは端末装置エミュレータで,もともとは実体のある装置だったわけだ。

さてコンピュータ室にたいていは隣接するかたちでマシンルームなどと呼ばれる六畳くらいの部屋がある。窓ガラスで仕切られたこの部屋には箪笥洗濯機くらいの大きさの装置が何台か置かれている。これがコンピュータ本体だ。もっとコンピュータが何台もあるわけではない。この箪笥CPU でそっちの洗濯機ハードディスク,あの机に置かれているタイプライタ管理コンソールといった具合に何台かある装置全部で一台のコンピュータになる。どこが〝ミニ〟だと突っ込みたくなるかもしれないが「六畳で収まるなんて,なんてミニ!」という時代お話だ。

端末装置それぞれからUSB のご先祖様の)RS-232 という規格のアオダイショウみたいなケーブルが伸び,マシンルームに置かれたターミナルマルチプレクサと呼ばれるスーツケースに台数分のアオダイショウが刺さってコンピュータとの通信を行う。コンピュータと多数の端末装置を含めたこれら全体をサイトと呼び,root 権限を持って管理業務を行う人をシステム管理者あるいはスーパーユーザと呼んだ。

結構上手に説明できたと思うのだが雰囲気は伝わっただろうか。ここで重要なのは一台のコンピュータを数十人が一斉に使っていたという事実だ。洗濯機とかアオダイショウとかは,マアどうでもいい。

自由不安定OS

当時の 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 では,ファイルシステムを使いはたすまで大きなファイル自由に作ることができる。したがって,自分プロセスがいったいどのくらいの容量のファイルを作り出すのか見当もつけられないようなアマチュアが使うと悲惨なことになる。ディスクを使いはたすと,コンソールタイプライターにエラーメッセージが出力されるが,夜中にそれが発生して,コンソールタイプライターが一晩中エラーメッセージを打ち続け,朝マシンルームに行ってみると紙を一箱打ち尽くしてしまい,ピーピーと悲しげな声を上げて人を呼んでいた光景を私は何度も見てきた。こうなると,それをしでかした本人のプロセスは当然のこととしても,同じディスクで走っている他のプロセスも先に進めなくなってしまう。すこしでも負荷を夜間にまわそうとする善意は逆転してしまい,わずかでも仕事を先に進めようとする意図完璧に打ち砕かれてしまうのである

 

    root から / へのメッセージ高野豊,1991,アスキー)pp16-17.

そして,こうした不安定さが「哲学」を必要としたのだ。自分が利用しているサイトに「cc コマンド10個くらい同時に走らせ」たり「自分プロセスがいったいどのくらいの容量のファイルを作り出すのか見当もつけられないようなアマチュア」がいるとその累は自分にも及んでしまう。だからサイト利用者全員に UNIX設計基本的な考え方を理解してもらうことが,自分のために必要だった。UNIX伝道がより苛烈だった理由ひとつがここにあるのだ。

ミニコン UNIX終焉

ミニコン上で誕生した UNIX は 4.3BSD(1986)で最高潮を迎える。注意したいのはミニコン時代UNIX は Research UNIXCSRG 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のものミニコンのものしかなかったが,そのコードを受け継いだ BSDUnixAT&T推し進める System V などがワークステーション市場舞台80年代中盤から激しく覇権を争うようになる。いわゆる Unix 戦争で,PCUnix であるマイクロソフトXENIX も当然参戦した。ミニコン世界牧歌的だったのは,ぶっちゃけていえば先のない技術だったからだ。ただ Unix 戦争あくまでも標準という聖杯を争う戦いであり,AT&TBSDUnixSun Microsystems が共同で System V Release 4.0 (SVR4) を作りあげたように後の法廷闘争とは趣が違う。

こうしたミニコン UNIX からワークステーション Unix への転変は Unixのもの文化にも変化をもたらした。まず激しい競争Unix の高機能化を加速した。商品として判りやす惹句が「あれもできます,これもできますなのは誰もが知っている。もちろん安定性を増すために quota のような利用者自由制限する機能も含まれていた。またワークステーション Unix現在UnixOS と同様同時に一人が使うものであり前述の布教必要性は大幅に減じた。達人たちのみの楽園から万人に開かれた道具に変ったのだ。こういった変化を体感したければ『root から〜』と水越賢治『スーパーユーザの日々』(1993,オーム社)を読み比べてみるといい。『スーパーユーザの日々』はワークステーション Unixシステム管理入門書だ。この本ではたんに知識を羅列するかわりに架空ソフトウェアハウス(開発会社)を舞台新卒社員が先輩社員からシステム管理を学ぶという体裁をとっており,そのおかげで架空の話とはいえ90年代前半の雰囲気が堪能できる。出版年でいえば『root から〜』と二年しか違わない『スーパーユーザの日々』の落差は “dog year” と称された当時の激烈な変化まで体感できるだろう。

UNIX 哲学背骨

当時はよくいわれたのに今やほとんど聞かれなくなったものがある。マキルロイ論文結論部分に書かれたそれは,1973年出版されたイギリス経済学者エルンストシューマッハー著作題名で,中学生英語力があれば十分に理解できる平明な一文だ。

Small is beautiful.

マキルロイは『人月神話』を引いて一定留保をつけてはいものの,これが UNIX 哲学背骨であることに違いはない。機能をありったけ詰め込もうとして失敗した “kitchen-in-a-sink” な MULTI•csアンチテーゼである UNI•x にとって,これ以上のスローガンがあるだろうか?

ひるがえって現在UnixOS をみれば,ブクブクと肥え太ったシステムコール,全容を俯瞰するだけでも一苦労するライブラリインターフェイス,一生使うことのないオプションスイッチまみれのコマンド群。UNIX仮想敵とした OSのものだ。そのことについてとくになにも思わない。ハードウェアは長足の進歩を遂げ,コンピュータの応用範囲は途方もなく拡がった。UNIX が変らなければたんに打ち棄てられ,歴史書を飾る一項目になっただけだ。ただ現在UNIX 哲学」を語るならそうした背景は理解していなければならないし,どれだけ繊細な注意を払ったところで〝つまみ食い〟になってしまうことは自覚すべきだ。

2022-07-16

anond:20220716232511

数学sin90゜はなんぼ?って聞かれたら1って答えるやろ?

このときsinという「関数」に90度という値を「渡して」その結果をもらっているんやで

2022-07-05

anond:20220705000826

旧型のウイルスへの抗体ばかり増やそうとワクチンを打ちまくっていると、

最新型のウイルス感染したとき、役に立たない旧型抗体ばかり増産してしまって、事実上免疫が低下してしまう、

抗原原罪 (original antigenic sin) が起きる可能性がある。

https://square.umin.ac.jp/~massie-tmd/ade_immnstn_covid19.html

2022-06-12

今更だけど今期も面白いアニメが多いね

RPG不動産

阿波連さんははかれない

エスタブライフ グレイエスケープ

乙女ゲー世界モブに厳しい世界です

骸骨騎士様、只今異世界へお出掛け中

かぎなど シーズン2

かぐや様は告らせたい-ウルトラロマンティック-

カッコウの許嫁

機動戦士ガンダム 鉄血のオルフェンズ 特別

境界戦機

くノ一ツバキの胸の内

恋は世界征服のあとで

古見さんは、コミュ症です。 2期

サマータイムレンダ

Shenmue the Animation

史上最強大魔王、村人Aに転生する

社畜さんは幼女幽霊に癒されたい。

処刑少女の生きる道

SPY×FAMILY

あいもん

トモダチゲーム

BIRDIE WING -Golf Girls’ Story-

パリピ孔明

ヒーラーガール

ヒロインたるもの!~嫌われヒロイン内緒お仕事

マギレコード 魔法少女まどか☆マギカ外伝 Final SEASON -浅き夢の暁-

魔法使い黎明期

名探偵コナン ゼロの日常

遊☆戯☆王ゴーラッシュ!!

勇者、辞めます

理系が恋に落ちたので証明してみた。r=1-sinθ

これだけ毎週見てるor録画してるよ。

改めて数えると今期だけで40本くらい?幾ら何でも多すぎだろ

2022-05-23

anond:20220523024010

コトバンクより引用

(三角関数とは、)直角三角形の辺の比を表す三角比拡張したもので、任意の角に対して定義される関数である

まり三角比とはsin, cosなどのことを表し、三角関数とは三角比一般化した関数である、ということか。

sinθは関数だけど、(引数をとらない)sin自体は比である、ということなのだろうか。

anond:20220523151245

たとえば三角比の1:1:√2あるじゃん

三角関数の45度のsinθ,cosθ,tanθの値(1/√2,1/√2,1)をルート2倍

したら同じ1,1,√2になるやん。

  

いい例えが見つからないけど、うどんパスタじゃないで。

2022-05-21

行列計算プログラム大事だっていうけど、いまいちどういう活用方法があるかわかってない

主成分分析くらいまでは、とりあえずよくわからんがやってみたんだけどさ。

教科書的な物から一歩進んで、どこに活用されてるのか、わかんないんだよね。

あと行列の中にsin/cosなんて入ってくるのって、教科書だけでプログラムでどう活用するかってわからん

2022-05-19

壱夜「加法定理sin(α+β)=?」

???「cosってcosって+cosってcosって!!」

ワイ「sin(α+β)=sinαcosβ+cosαsinβやろ...」

anond:20220519163030

三角関数がないと「振動」という現象グラフと数値で捉えることが出来なくなる(sin波を局所的に多項式で近似するしかなくなるため)。

振動現象物理しろ化学しろ金融しろ政治しろ世界社会のあらゆる場面に現れる(簡単常微分方程式の解のため)。

まあ、グラフと数値を一切扱わないなら三角関数勉強しなくてもいいと思う。

なんなら弁護士でも三角関数くらい知ってる方がいい(何かの設計図特許裁判とかあるでしょ)。

文学者でも三角関数知ってるだけで表現の幅は広がる。

三角関数が嫌われる理由

三文字

それまで二次関数とか方程式でxとかyとかしか触れ合ってなかったのに

いきなりsinとかcosって何?3文字ってどういうこと?ってなる

しかsin θ って、ちょっと待って、なんて読むのコレ、え、シータパズーは?みたいに疑問が絶えない

何に使うのか

三文字を乗り越えていざ中身を確認してみると直角三角形比率だ、とのこと

辺の長さを知るだけならピタゴラス様の定理いいわけだし

比率って何かに使うの?という気分になる

最初から半径1の円のx,y座標、ぐらいで教えた方がいいと思う

そっちの方が分かりやすしまだ使えそうな感じがする

循環する

sin(0) = sin(2π)って、え?どういうこと?ってなる

それまで循環なんて知らなかった人からすると度肝を抜かれる

おまけにsin(π/2) = cos(0)とか、ちょっと待って、じゃぁsinだけで良くない?ってなる

公式が多い

実はこれが一番の要因だと思うけれど関連する公式無茶苦茶あるし覚えにくい

sin(α+β)= sin(α)cos(β) + cos(α)sin(β) とか(合ってる?)

しかもこの手の公式を使って方程式を解け、とかが無茶苦茶難しい

初見で解ける人は天才で、数をこなしてパターンとして覚えるしかない

なので脳の領域をかなり消費するんだけど、こういう方程式の読解は本当に数学系じゃないと使わない

なので「何に使うのコレ」っていう気分になって、そのうち「三角関数って使うの?」ってなるんだと思う

三角関数公式は覚えなくてもいいのでは

三角関数を教えるな、っていうのは極論だけど

この手の公式を山ほど覚えたり、解法のパターンを暗記させていくのは本当に必要か?という気にはなる

とはいえ、他に教えることも無いし、篩いとしては良い例題だと思う

今の高校数学ってオイラーの定理までやるのかなぁ?そこまで行くと数学に興味が出たりするから、やっぱり三角関数必要だと思う

2022-05-16

シン・セイホウケイ

新しい□のことやで

他にも真□、神□、SiN□の意味もあるやで

父に「シン・ウルトラマンのシンってなんなんだ」って聞かれた

新しいの「新」やし、まこと「真」やし、神様の「神」やし、原罪の「sin」やで

って答えたら

「つまりあまり深くは考えてないってことなんだな」

って言われた

 

親父世代になるとそういう思わせぶりなだけの「何か」を多く見てきたんだろうな

2022-04-18

anond:20220416231905

頭の良くない人間が、一丁前に高収入を得ようとするとcrimeかsinを犯さないといけないという話

2022-03-10

人生に完全に行き詰まった

どうしよう

詰み

sin

古塔つみ

2021-10-18

sincosは仲良しバディなのに

tanだけハブられてる感ある

2021-08-26

掛け算の順序問題計算論理の科目としての算数

掛け算の順序問題なるものがある。
りんごが4つ入った袋が3つあったらりんごは全部でいくつありますか?」という問題に「4×3=12 答え 12個」と「3×4=12 答え 12個」という回答があって、前者だけを正答とすべきだとか両方正答とするべきだとか、そういう問題だ。長方形の面積について話している場合もある。

この意見対立には、(一面として)数学をどのように抽象的に捉えるか、というのや数学算数という科目の持つ役割に関してのスタンスの相違が原因にあると考える。
数学をより純粋抽象的に捉えるにしたがって「順序強要」→「順序容認」→「順序強要」のように立場が変化することを以下で述べる。

念の為記しておくが、この文章は掛け算の順序問題に関してどの立場が正しいというような文章ではない。
俺は教育専門家でもなければ小学生算数を教えたベテラン教師というわけでもない。
数学への向き合い方が真摯になるにつれて変化する立場が単調でないことに気づき、その非自明な振る舞いについて筆を執ろうと思っただけのものである
この文章で誰かの何らかに影響があればそれは幸いである。

順序強要派1

りんごが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万"のままだ(自分の脳は乗数が単純なほど高速に乗算が行えるから、そのような式のほうを思い浮かべるように訓練されたのではないかと思う)。単なる道具としての使い勝手ならば、この立場はとても強い。道具として(正しい答えを出せるなら、という条件付きだが)順序を気にしない方が順序を気にする方より楽だろう。

算数を「現実事柄に付随して必要となる計算を正しく行う能力を育てる」科目だと考えるなら──教養大学などで学ぶそれではない)としての算術としての用途としては実際にそれで十分だろう──、真っ当な立場だろう。

しかし、この立場には少し弱いところがある。
数式そのもの意味はないとするのはよいが、その結果立式の段階で「状況」から一足飛ばしで「数式」が出来上がっている。これは、少なくとも数学の厳密な操作ではない。より厳密であろうとするならば、次の立場になるだろう。

順序強要派2

数学的に厳密な立場であろうとするならば、意味論的操作を取り除く必要がある。この立場において、「『ひとつ分の数』が『いくつ分』あるとき、全体で『(ひとつ分の数)×(いくつ分)』あります」という定義にしたがって被乗数と乗数を区別することには意義がある。

この立場では、「りんごが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だと思おうが構わない。他人と考えを共有するための道具なら前提から論理を組み立てる訓練が必要で、掛け算の順番にまで気を遣わなければ意味のある結果を出せない。数学はどちらをする科目でもあることに我々は自覚的だろうか。

ログイン ユーザー登録
ようこそ ゲスト さん