  |
はてなキーワード: 用途とは
でっかい倉庫を作るときに奥の方に原木とか石を置くと行くのが面倒になって手前の適当なチェストに入れてしまう
そのためにまず「よく使う物は何か」をしっかり考える
自分はこのワールドで何を目標としているのかを整理して一番使い物、使いたい物は何かを決めて手前に置く
例えばネザライトインゴットはとても貴重だけど別に普段使うことはほぼ無いので奥の方に飾っておけば良い
現実世界でも自分がよく使う物を洗い出すことが収納の第一歩になる
チェスト・ラージチェスト・樽・シュルカーボックスを量に応じて適切に使い分ける
「場所があるから」とラージチェストを作りがちだけれど、スタック出来る物を入れる場合はほとんどの場合がスモールチェスト・樽で十分
下手にラージチェストを作ると「ちょっと一時的に」という感じで別の物を収納しがち
収納する物に対して大きすぎる容器を作らない、ということが大切
大は小を兼ねるが適切では無い
一種類でチェストが必要なブロックは専用チェストを決めて収納すればいいんだけど
「これ、1個か2個しかないんだよな」というものに対してチェストを作るのはもったいないし無駄なのでまとめてチェストに収納する
このときに明確なルールを決めて、「ちょっと不便だな」と思ってもそれを遵守する
「オークとしてまとめて収納する」
のどちらにするかを明確に決める
ルールを決めたらその通りに必ず収納して例外を作らないことで荷物が散らばることを防ぐ
例えばエメラルドは交易以外で使わないので交易付近に置いておく
エメラルドがチェストに入りきらない、ということはほとんど無くて
使う場所の近くに収納を置くことで使う時に困らないだけではなく
使い終わったときに忘れず片付けられるようになる
というようなクラスタリングはするとして
それより前述したよく使うかどうかを基準にするか、もしくは適当にさっさと決める
過度なクラスタリングを始めるとクラスタリングすることに時間と労力をかけてしまって
結果、疲労して「なんでもとりあえず入れとくやつ」を作ってそこに全部ぶち込むことになる
自動仕分け装置を作ったり、ポーション生成機を作ったりすると収納が楽になる場合があるが
作る労力の方が圧倒的に大変なので基本的に導入しなくて良い
もちろん作ることそのものがマイクラの楽しみ方なのでそれはそれでいいのだが
2，3周目に突入すると「結局使わないしな」となるので作らなくて良い
それよりも見た目や使いやすさを重視した方が良い
現実世界でいうところの「自動で開閉するゴミ箱」「電動昇降チェスト」なんかがそれにあたる
土ブロック、深層岩、ネザーラックとかはある程度ストックしたら綺麗さっぱり捨てるとして
例えばどうでもいい花とか種とか余ったハーフブロックとかはいっそのこと全部捨てるというルールにしておく
木材系のブロックは燃料になるので自動かまどにぶち込むというのもあり
「今は使わないけど、いつか使うかも」
ではなく
「今は使わないし、いざとなったら手に入る」
という考えで潔く捨てる
そのための便利ゴミ箱を作っておくと良い
実際にはマイクラほど上手く行かない
ただ
「マイクラだったらどうするかな」
と考えることでそこそこ収納は上手になった
あーでもないこーでもない…macだとこんなに便利とかWindowsだと標準装備だぞとかバカなのかなと思いながら。
■Alfred
Spotlightで十分では？ appの起動もファイル検索も電卓()もできるじゃん。
一回入れてみたけどよくわからんかった。細々したコマンド入力するのもダルい。マウス操作で良い。
トラックパットでもちもち仕事してる人向け？マウス縛りしてるひとにはいいのかも。
キーボードに集中していて、マウスに持ち替えるたび意識が阻害されるタイプの職種のひとには合ってると思う。
■BetterTouchTool
わからない。いらない。
やっぱノート民が主語を拡張してmacで〜〜〜とか言ってるだけな気がする。
トラックパット上で3本指4本指で肩をすぼませてちまちま操作するならマウス使ってダイナミックに操作しようぜ。そっちの方がストレスフリーよ。
■Karabiner-Elements
イキってUSキーを買ったバカタレが英語/かなキーの割り当てのためだけに導入するアプリってイメージ
あのあの、最初からJISキーにすればいいですよね。え、JISキーは美しくない？ シンプルじゃない？
見た目のためにわざわざ外部アプリを入れてごちゃごちゃ設定する方が美しくないしシンプルじゃないと思います。
ハード面で余計な選択をしてその解決のために余計なソフトを入れるってかなり美意識を疑う。クソみたいなマッチポンプ。
■Yoink
ちっちゃい画面で仕事してるひと向け？
■JeditΩ
■Clipy
まあそれとは別によく使う文章を登録できるので仕事上良く使う注釈などは登録している。
■JumpDesktop
出先でiPadから自宅のMacを操作できるので便利。ノート買っとけという話ではある。
クソデカファイルをDLしても実際にDLしているのは自宅のマシンなのでモバイル通信残量を使用しないというのはノートと比べた際の利点か。些細ではあるが。
■SPAi
神。イラレ上でスクリプトをショートカットで実行できる。クソ便利。戻れない。
■ParallelsDesktop
いちおうそれだけではなく、客からWMVで欲しいと言われた際にエンコードのためだけに使用します。
Mac版Adobe製品だとWMVにエンコできないんですよね。たまげたね。
エディタ。買い切りなのがいい。iCloudに保存してMacとiPadとの反復作業が可能。
■Lok Board
入れてみただけ。まるでデスクトップのようにiPadを操作できるが、あらかじめ定められたアプリしか使用できないので自分の用途には合わなかった。
昔勤めていた会社で自分がいた生産ラインがついに終了したことを噂に聞いた。
その部署は、自分がいたころには既に、常に増産を強いられるところだった。
抜本的な設備投資をすることなく、今ある生産機械をもう一つ、もう一つ、という感じで並行に設置して、オペレーターの労働力を増やすことで増産していた。
商品としては素晴らしい、改良することなく、何十年も緩やかに需要が拡大。
建屋ごと新しくするくらいなら、生産方法も一新したいし、それなら今の部署は不要という判断。
しかし、その部署で働く社員にしてみれば、一つの製品の、一つのオペレーターしか経験がないまま、10年以上だ。
とにかく増産だったので、その部署にくる社員は多くても、その部署から出ていくのは定年退職者くらいだった。
会社にとっては功労者なんだろうけども、だからといって別の部署で役立つ人材かどうかといったら、新卒をとったほうがマシだろう。
いろんな経歴の人がいた。
多くは中途だった。
高卒3割、専門卒3割、大卒3割、修士1割って感じだった気がする。博士だっていた。
リーマンショックのあとなんか、求人を出せばいくらでも人が集まった。
多くは派遣で入って、給料がよく残業代も出るのでそのままダラダラ、嘱託社員になり、正社員になり、そのまま居座った。
給料はよかった。
しっかり残業代を稼いで、みんないい車乗ってた。
部署が解体されたからといって、クビにはならないだろうけど、工員しかしてこなかった人たち、どうするんだろ。
休○日 という表現が日本語として自然で、普及してるんですよね。
この系統で言えば、休店日が妥当なんだけど、日本語は自由度が高いので、
もとは、2004年頃に阪急百貨店が使い始めた記録があるらしいけど、
息子をいわゆるチー牛に育てたくないのなら、白饅頭noteはその用途に合った情報が得られるし
あなたが自己流でチー牛対策をしてはならない理由も述べられている。
結局のところは「男らしさ」を獲得しようという話になるのだが、
後天的に「男らしさ」を獲得する方法もある程度は確立されているし
チー牛になったらなったで、その先どう生きていけば良いかというところまでも語られている
息子がレールから外れた時も路頭に迷うことなく生活できる程度の知見は転がってるnoteだよ
人目のないところで読もうね
https://note.com/terrakei07/n/n715c724b8997
マガジン限定記事「『男の子の世界』のことを、女性にも知ってほしい」
https://note.com/terrakei07/n/nb3439140ede1
https://note.com/terrakei07/n/n41cd09687377
https://note.com/terrakei07/n/n3f5b58850e93
リプライに生成AIの回答を貼り付けている人、確かに最近増えていますよね。その理由は様々ですが、主に以下の5つが挙げられます。
生成AIは、質問に対する回答を自動で生成してくれるため、情報収集の時間を大幅に短縮できます。特に、膨大な量の文献や資料を調査する必要がある場合、生成AIは非常に有効なツールとなります。
**2. 新しい視点の獲得**
生成AIは、人間とは異なる視点から回答を生成してくれるため、新たな発見やアイデアにつながることがあります。特に、専門知識や経験が少ない分野について調べる場合、生成AIは有効な手段となります。
生成AIの回答を共有することで、議論を活性化することができます。異なる視点からの意見を提示することで、より深い理解へとつながることが期待できます。
**4. エンターテイメント**
生成AIは、ユーモアや独創性のある回答を生成することもあります。そのため、エンターテイメント目的で利用する人もいます。
**5. その他**
上記以外にも、翻訳や要約、創作など、様々な用途で生成AIが利用されています。
生成AIの回答を貼り付ける行為は、情報共有や議論の活性化など、様々なメリットがあります。しかし、一方で、生成AIが生成した内容の正確性や信頼性について、注意が必要です。生成AIはあくまでもツールであり、その回答を鵜呑みにするのではなく、批判的に吟味することが重要です。
**補足**
生成AIの回答を貼り付ける際には、以下の点に注意しましょう。
* 生成AIの種類や設定を明記する。
これらの点に注意することで、生成AIをより有効に活用することができます。
---
本来は親友に向けたマンションリフォームのアドバイスだが、LINEで送るには長すぎるので、増田の日記として公にさらしてみる。ブコメやトラバで有用な反論が得られるかもしれない。
増田は建築士としてそれなりに経験値はあるが、住まいのあり方や価値観は本当に多様なので、N=1の意見として参照するぐらいがちょうどよい。
適切な断熱壁と二重ガラス樹脂サッシが装備されていること。それがない建築が許されるのは安藤忠雄だけ。
既存のサッシが交換できないならインプラスなどの内窓をいれればよし。
おそうじ浴槽！これが言いたくてこの長い日記を書いているといっても過言ではない。
他の設備投資を削ってでもこれを装備してほしい。日々の家事から風呂そうじを排除できるのでオススメ。
じゃあ何を削ればいいかというと、、、
化粧棚→いらない。必要に応じて山崎実業のマグネット収納をつかえばよい。
浴室乾燥機→いらない。アイリスオーヤマの除湿器で代用できる。風呂の入り口付近にコンセントを用意しておく。
上下するシャワーフック→これはいる。が、山崎実業のマグネットフックで代用可能。
風呂のサイズは1620か1616にする。この2つは浴槽が1.6mあるから足を伸ばせる。そのほかの1416とか1418 etcは浴槽が1.4mになってしまう。
ただし1616は一般に住宅用しかない。なぜか1620はマンション用もある。住宅用とマンション用の違いは施工に必要な天井の高さ（これショールームのスタッフすら知らなかったりする）。マンション用のほうが必要高が低いので、排水の勾配など制約の多いマンションでも施工できる。逆に言えばその制約さえクリアできれば住宅用をマンションに施工することも可能。
なお換気扇は選べるならパナソニック製をオススメする。パナソニック以外は換気扇の羽を外すことができない。
ノーリツのユニットバス1616。標準でおそうじ浴槽がついてくる。なぜならおそうじ浴槽はノーリツの特許だから。
だがコスパが高すぎて儲からなかったのかノーリツはユニットバス事業から撤退してしまった。。。
なぜか無垢フローリングにあこがれる人が多いが、高いし隙間が空くしメンテも大変で何がいいのかさっぱりわからん。オススメは厚突きフローリング。無垢の質感とべニヤの寸法安定性を両立している。
薄い突板のフローリングは偽物感がすごいので、だったら偽物でいい。
マンションだと防音フローリングといってふにゃふにゃのフローリングを勧めてくる工務店がいるが、これは工務店の施工が楽になる建材でユーザーにメリットはない。下地側で防音は確保できる。
ウレタン塗装やUV塗装は強靭で水を放置しても浸透しない。ただし傷ついたときの補修はプロに依頼しないといけない。自然ワックス仕上げは質感に優れるが、醤油をこぼしたのを一晩放置すると浸透してシミになる。数年おきに塗り直しが必要だが自分でDIYできる。どっちが良いかはお好みで。
ニッシンイクス150mmオーク自然オイル仕上げ／30度ナナメ貼り。
複合オーク150幅 | 無垢・複合フローリング・不燃ボード｜NISSIN EX.
本当はヘリンボーンにしたかったがめっちゃ高いのでナナメ張り。
温水式にしよう。電気式は暖まるまでの時間がかかりすぎて実用的でない。
躯体あらわし！中古マンションでなければできない仕上げ！天井は水漏れでカビてなければそのままつかえるはず。ぜひやろう。
壁面は大抵のマンションで解体後にGLボンドという接着剤が盛大に残るので、上から塗装するかそのままにするかを判断する必要がある。
マンションリフォームの事例集で綺麗なコンクリート壁がでてくる場合があるが、あれはもう一回壁を仕上げなおしている。
余談だが世の中のほとんどのコンクリート打ちっぱなしの建築は、コンクリの上から打ちっぱなし風の塗装をしている（安藤忠雄のように本物のコンクリートで打ちっぱなしを仕上げるのはものすごく難しい）。一般人はその塗装をみて「やっぱコンクリート打ちっぱなしはかっこいいねー」と言っている。それは塗装だ。
たまに「コンクリート打ちっぱなしって寒くないの？」と聞かれるが、それは断熱が入っていない建築をイメージしているから。なので安藤忠雄の住宅は夏暑いし冬寒い。なお忠雄本人はタワマンに住んでいる。
マンションの場合、隣や上階に部屋があればそこが断熱として効くので打ちっぱなしでも大丈夫。
ただし床は例外。熱伝導率が高いので皮膚が触れたときに同じ温度でもコンクリートやタイルのほうが冷たく感じる。
壁面はGLボンド撤去の上、塗装。一部モルタル塗り直し。一般の壁はAEP塗装の白マット仕上げ。寝室とクローゼットはモイスという調湿建材。壁紙はきらいなので未使用。
海外勢のデカイ食洗器をいれよう。パナソニックのビルトインは買ってはいけない。あれは卓上タイプよりも食器が入らない。
海外食洗器をキッチンをいれるときは、床から天板の下端までの高さに注意してほしい。日本だとミーレがデカい顔をしてぼったくり価格で売っているが、これは高さが80cmでギリギリ日本の一般的なシステムキッチンに入る寸法だからだ。AEGやボッシュは82cm以上を要求するので、日本の一般的な85cmの高さのカウンターだと入らないことが多い。逆に言えばとにかく下を82cm確保すればどのメーカーでも入る。AEGはカゴがリフトアップする。ボッシュは耐久性が高い。ガゲナウはボッシュの見た目をかっこよくしただけ。IKEAはAEGのリフトアップを削除した廉価版。ミーレはぼったくり（2回目）。
中華料理命！でなければIHをオススメする。加熱時に上昇気流が発生しないから油が飛び散りにくいし、使っていないときはフラットだからほかの用途に使える。勝間和代氏はIHのガラスの上でうどんこねてた。
コスト削減のためシステムキッチンは購入せず、天板だけ買って大工さんに施工してもらった。天板の下は無印の収納を突っ込んでいる。これで百万ぐらいコスト削減。天板はシゲル工業で作ってもらった。スクエアシンクって手で溶接するからめっちゃ高いんだけど、ここはプレス品だから安い。
スクエアシンク | ステンレスワークトップとキッチンシンク製造のシゲル工業
その他に検討したのはキッチンハウスのグラフテクト。今でもグラフテクトはアリだと思っている。
GRAFTEKT -グラフテクト- | 家具のようなキッチン・システムキッチン
水栓はLIXILのナビッシュA6。濡れた手で触らないので、水栓周りがよごれにくい。
https://www.lixil.co.jp/lineup/faucet/navish/
換気扇はパナのDEシリーズかフジオーにしよう。メンテがしやすい。
パナはDWという10年掃除不要と謳っている製品を推しているが、あれは代わりに一切のメンテができず、10年で本体交換を必要とする地雷。
IHもパナ。グリルまでIHにしている唯一のメーカー。このグリルが優秀で、オーブン代わりになるし、パンもおいしく焼ける。おかげでヘルシオとバルミューダトースターが不要になった。
水栓は垂直面から生えたやつにすべし。立ち水栓は根本が汚れる。ダブルボウルは便利だが、なくてもなんとかなる。
LIXILのYL-537を2台設置。洗面台と水栓が一体型で、かつ壁から水栓が生えている。本来は公共施設用のものなので耐久性が高い。それでいてシステム洗面台より安い。いいことづくめ。唯一の弱点は排水トラップが真下に生えるから下の収納に制約がでる。
脱衣所にガスコンセントを引いておくと、ガスファンヒーターで冬の風呂上がりの寒さや洗面所の足元の冷えを解消できる。乾太くんやガス炊飯器もそうだが現代のガス機器は優秀なのにマイナーなのでもっと評価されるべき。
安さに惹かれてパナのアラウーノにしたが、失敗した。パナはアラウーノの素材のことを「有機ガラス系新素材」とか言っているが、これは単なるプラスチック。普段は自慢の泡洗浄で汚れを防いているが、一度洗剤が切れると陶器の数倍の速さで汚れる。しかも洗剤の消費ペースが早く毎月補充が必要。めんどい。やはりトイレはTOTOにすべきだった。パナは商品設計はとても誠実なのに、どこかに弱点があると言葉のあやでごまかそうとするのがムカつく。パナソニックが聞きなれない単語を使い始めたら要注意だ！
手洗い器は洗面所と同じで、垂直面から水栓が生えているやつにしよう。その点でサンワカンパニーはダメ。あいつらインスタ映えすることばっかり一所懸命でメンテのことを忘れてる。
人類は太陽の動きと連動して暮らす生活を何万年と続けてきたので、極力それに合わせた照明を計画するのが基本。究極は「日が沈んだら寝る」だが、現代人には無理ゲーなので「夕日が沈むのを遅らせる」のを目的とする。なのでだんだん暗くできる調光可能な照明をいれる。夕日の代わりなので暖色にする。色温度が変わる機能は不要。
増田は風呂や納屋も含めて調光可能にした。深夜になにかを思い出して、納屋やトイレに行ったときにバチっと全開でライトが付くのは不快だ。パナソニックがまさにそういった夜間だけ暗くなる人感センサースイッチを出している。
［トイレ壁取付］かってにスイッチ（換気扇連動・ほんのり点灯モード対応） | アドバンスシリーズ | スイッチ・コンセント（配線器具） | Panasonic
聞きなれない言葉かもしれない。これはタスク＝作業場所とアンビエント＝環境照明は別々に計画しましょうということだ。真っ暗な部屋でスマホライトをを下向きにすれば手元が照らされ、上向きにすれば部屋がぼんやり照らされる。照明は向きによって機能が変わる。食卓やキッチンなど何かしらの作業が発生する場所には下向きのライトで必要な明るさ確保、それだけでは全体が暗いので、上向きの間接照明で明るさを補うといい感じになる。食卓の上にペンダントライトを吊るのはタスクライトのためであってオシャレのためではない。
この「何かしらの作業が発生する場所」はライフステージの中で結構変動するので、照明の位置や向き、数を可変できる「照明ダクト+スポットライト」が増田のオススメ。白くて丸いシーリングライトは、タスクに必要な明るさを確保しようとするとアンビエントまで過剰に明るくなる。すると眼の光彩が絞られて手元が暗く感じる→さらに明るいシーリングライトを買ってきて・・・の無限ループに陥る。親のいる実家がどんどん明るくなるのはそのせい。シーリングライトは法律で販売禁止にすべき。
タスクライト→天井に配線ダクトをつけまくり、MAXRAYのレトロフィットスポットライトMS10481-44にウシオ電機のCシリーズの電球。
LDR6/5 E11 φ65 ロング（スポットライト） | 照明器具のマックスレイ | ウシオライティング（製品サイト）
信頼できるメーカーで調光可能で演色性が高くてそれなりに安いとなるとこのへんになる。ウシオ電機は一般にはあまり知られていないかもしれないが、建築業界ではとても有名な照明メーカー。器具自体はデザインでお好きにどうぞ。よく「LEDは10年もつぞ」と言われるが、その前に5年ぐらいで制御基板が壊れるので灯数が多い器具は電球が分離できるやつにしておいたほうがいい。
アンビエント→リビングはコイズミの棚上照明。商品名の通り壁面収納の上を間接照明にして天井を照らしている。
Shelf’s Compact Line｜シェルフズコンパクトライン｜コイズミ照明株式会社
寝室は壁面にパナのホームアーキの壁面ブラケット。天井には照明無し。
ＨｏｍｅＡｒｃｈｉ（ホームアーキ）｜ブラケット｜住宅用照明器具 | Panasonic
基本スイッチはすべてパナのリンクプラスで遠隔操作可能にした。正直高くついたしアプリは超クソだが、PSEを遵守したなかで選ぶとパナしかない。Philips Hueなどのスマート電球でリンクプラスの代用とすることも可能だが灯数が多いときはあまりオススメしない。演色性が低いのと基盤がすぐ壊れる。
アプリはクソなので(2回目)、これらをArduino+Homebridgeで自動制御しているが、詳細を書くとこの日記が3倍に膨れ上がってしまうので、そのうちQiitaにでも書く。
なお照明は製品設計としてそれなりに奥が深いので（インバーター周波数とか演色性とかカンデラとルクスとルーメンの違いetc）なるだけパナか照明専業メーカーのものを使おう。安いからってアイリスオーヤマとか買っちゃダメ！
[B! 家電] ブログ アイリスオーヤマのLEDシーリングライトのチラツキが酷い
パナのアプリがクソで思い出した。パナソニックの玄関ドアホン、これもアプリも超クソだった。ピンポーンとなってからスマホで出るまでに30秒はかかる。 30秒もまたせたら相手は留守だとおもって立ち去ってしまう。それじゃあ、と思ってアイホン、Google Nest、Alexa Ring、も買ったが同様に遅延がひどい。どうしろと！！
→結果、Aqara G4でなんとかジプシーを卒業できた。今んとこまともに機能するスマホドアホンはこれだけかも。
安藤忠雄は好きです。
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
そもそも味の素は昆布や鰹とまったく用途が違うんだよね。比較対象と考えるのがまず間違ってる。
・洋食や中華など昆布や鰹の風味がかえって邪魔になる用途でうまみ成分をたせる
・粉末なので煮物や汁物ではなく炒めたり焼いたりする料理でも水っぽくならずにうまみ成分をたせる
これが味の素の主戦場。昆布や鰹の代用品はほんだしなどの調味料であって、味の素などのうまみ調味料ではない。ほんだしを批判するならわからんでもないけど、味の素に関しては適材適所だよね、でおしまいになる話。サツマイモがすげー甘いからといって砂糖の代わりに使ったりせず、またサツマイモの味が欲しいときに砂糖で代用しないのと同じこと。
家を買う際に見ると思うが土地には用途が限られる地域がある。ある日隣に風俗店が出来たりしないようにする奴だ（ナニワ金融道でもあったな）
タワマンも大概の地域では建てられないので専ら商業地域に建てられる。そして商業地域はだいたい駅の周辺や大通り沿いだったりする。
なのでとにかく住環境が良い。窓を開けても都会の喧騒がとかは無いけどタワマン周辺で全ての用事が済む。駅から雨に濡れないとかもザラだ。
あと価値が落ちにくい。駅前一等地がほとんどなので、よほどの駅でも無ければ買い手は居るし周辺の開発次第では高値も夢ではない。なので家族のライフステージに合わせた住環境の変化にも柔軟に対応できる
なので終の棲家として買うのはお勧めしない。上がり続ける管理費と修繕費を払い続けるのも馬鹿らしいので、大規模修繕前に売って次の物件を買うのが一般的だ。新築で買って10年ちょいで引っ越し。分譲なのに賃貸気分だ
でも住みやすい住環境、様々な付帯施設。エレベーター渋滞とか気にしなきゃ10年ごとに最新設備の家に暮らせる利点は引っ越しと売却の手間以上のメリットだ
あと中国人に買われると基本居ないのでフロアも静かで良い。たまに民泊やる中国人も居るけどそこは管理組合にチクって即停止させる。自分らが居る間は良い住環境であって欲しい
浅草にて4歳児を毒殺した疑いで親が逮捕されたというニュースが入ってきた。原因物質は向精神薬のオランザピンとエチレングリコールだという。
https://news.yahoo.co.jp/articles/4c24987b00e6f7158af489f1cb7a7747f3033e52
このエチレングリコール、自衛隊の車両整備所で部下に飲ませて中毒、入院というニュースも何度か耳にした事がある人も多いかと思う。これに対してイジメだ！と批判が湧くが、実はそうとも言い切れない。
また、エチレングリコールは幼児が誤飲しやすい危険な罠があるのである。
という訳で、自動車や機械整備などに縁のない人にはよく分からない物質、エチレングリコールについてちょっとだけ解説するよ。
因みに結構身近にあるもので、あなたのキッチンにもあるかもしれないので、幼児がいる家では意識してそれらを幼児の手が届く所から排除しないといけない。
自動車のエンジン冷却水は鉄むき出しの冷却水通路を通すからただの水は使えない。
更に水だと冬に零度以下になった時に凍ってしまう。水は凍ると体積が膨張するから鋳鉄で出来たエンジンは割れてしまう。
そこで氷結温度を下げる為にアルコールを入れる。昔はグリセリンが使われたが、現在専ら使われるのはエチレングリコールだ。自動車メーカーはLLC（ロングライフクーラント）原液を使用油脂に指定していてそれを水で割ってラジエーターに入れる。
でだね、このエチレングリコール、甘いのだ。ネットや化学の本だと「甘い」だけ書いてあるが、実際に舐めてみると、赤玉パンチやサングリアのような葡萄系のフルーティな味がするんである。
因みに赤玉パンチは味付けした赤ワインで、昭和初期に赤ワインの渋みとか複雑な豊潤さは受け入れられないだろう、という事でフルーティに味付けして販売したものである。昭和末期～平成初期で日本人の洋食関係の好みは変わり、バブル以前の洋食というのは甘かったのである。
あともう一つネットにも本にも書いてないのは、整備工場などではこの「甘くてフルーティ」を体験させるというのが半ば儀式化してるのだ。先輩が新人に「舐めてみな、甘いワインみたいだろ」とやるのだ。もうこれは必ずと言っていい程やる。
そして毒なのだが指先で舐めるぐらいではどうという事にもならない。
故に、陸自の整備所で中毒事件とかの事件群は、虐めじゃなくて先輩や教官がアホウであった可能性が高い。
普通は舐めるだけなのに飲むと言えるくらいまで（10cc以上とか）飲ましたんだろなというのが想像できるのだ。
実はエチレングリコール自体には毒性はない。皮膚についても大丈夫だ。
だが飲んでしまうと肝臓の働きに拠って毒になる。肝臓はアルコールと似た物質なので同じ手順で分解してアセトアルデヒドや酢酸を作っているつもりだが、分子構造が違うので猛毒のシュウ酸が生成されてしまう。
シュウ酸は体内のあちこちを破壊するが、一番ダメージを受けるのは腎臓で、シュウ酸結晶（シュウ酸カルシウム）が腎臓細胞を詰まらす＆破壊してしまう。これは後に慢性腎障害として後遺症となるが、腎臓の機能が停止すれば当然尿毒症になるから急性症状としても危ない。
とにかくエチレングリコールを飲んでしまったら急いで病院に行かねばならん。
飲んでしまった患者の治療にはホメピゾールという薬品があって、これはアルコール→ホルムアルデヒドの触媒酵素を阻害する物質だ。肝臓はアルコール→ホルムアルデヒドのつもりでエチレングリコール→シュウ酸をやってるからシュウ酸の生成も阻害されて止まる。
でもこの薬が無い場合や軽度な場合はアルコールの静脈注射が行われる。これは肝臓への飽和攻撃だ。
いや、なんで飽和攻撃と言うかというと増田はレトロゲーマーでアタリマニアなんでミサイルコマンドで説明したくなる為だ。ミサイルが一度に大量に来ると迎撃が間に合わなくて殆ど撃ち漏らしてしまう。
これと同じでアルコール静注だと消化器を通らないのでアルコール濃度が一気に上がって肝臓は分解処理が飽和してしまう。サチってしまう訳だ。
この時にエチレングリコールの分解→シュウ酸も行われているがその割合は少なくなる。
一方で腎臓は余計なアルコールはジャンジャン捨ててるので、肝臓をサチらせてその間、腎臓頑張ってくれ！という方法だ。
って事でエチレングリコールを少量飲んだ患者はベロベロに酔わされるという目に合う。
ここまで聞いて、エチレングリコール中毒は整備工場や殺人犯絡みで、普通の生活には関係が無い、と思った？ところが家の中には至る所にエチレングリコールがあるんだな。
夏に使うだろう、氷枕、最近のものは密閉されたビニルパッケージに入っていて、冷凍庫で冷やしてもカチカチに凍らないので使い勝手がいい。
そのカチカチに凍らないのが問題だ。コレにはエチレングリコールが使われているのである。エチレングリコールと水を混ぜた溶液を高分子吸収体（おむつとか匂いビーズとかのあれ）に吸わせてある。パッケージが破れると中身がしみ出すが、それはエチレングリコールだ。
ケーキとか、冷凍宅急便とかに使われる保冷剤。あの保冷剤で凍らしても柔らかいままのものはエチレングリコール入りだ。モノを冷やすのに便利なので捨てずに取ってある人もいるかもしれないが、幼児やペットがいる家では止めた方がいい。事故のもとだ。
他にも「氷点下に冷やしても凍らないもの」にはエチレングリコールが入っていると思った方がいい。
更に重要なのが、「舐めるとフルーティで甘い」という点だ。幼児やペットが好んでしまうのだ。
と言いたくなるかもしれない。でもエチレングリコールは工業会ではかなりポピュラーな物質なのだ。
まず使用量が大変多いPET樹脂の原料だ。PETの原料という事はフリース線維の原料でもある（フリースは廃PETからも作れる）。
更に水性塗料の溶媒とか化粧品のつなぎとか、用途が大変多い中間材料なので大量に作られ、それ故安い。使い捨ての保冷剤にぴったりだ。電子デバイス界でのCMOSやARMみたいなものだ。
厄介なのがクール宅急便用の冷却材なんかは食品関係の法律が影響されない。それはたんに輸送用の風袋だから。
なので、今回の事件でもエチレングリコールを与えられた子供は美味しくて喜んで飲んでしまったのではないかと想像する。その後は尿毒症でとても苦しい死に方だったのでは。
それから革製品のなめし（変性処理）にはお茶にも含まれるタンニン酸とクロム酸を使い事が多いが、エチレングリコール酸も使われる。今回の事件の親は皮革商だったとのことなので自動車用LLCじゃなくて商売道具の可能性もある。
という訳で、自衛隊の整備所とか殺人事件とかで耳にするので危ないが遠い場所にあるモノという感じがするが、身近な場所にあるのでちゃんと理解して管理しないと危ないよという事だ。甘い液体で更にフルーティなんだよ。更に高分子吸収体に吸われた状態なら、それはフルーツグミと変わりはない。子供は喜んで食べたり吸ったりしちゃうよ。
因みに魚毒性が高いので下水に流すのは厳禁。埋設処分となる燃えないゴミに出すのも良くない。アルコールで燃えるので燃えるゴミに出して下さい。
ブコメの妬み嫉みは論外として、他のコメントもお金の運用方法ではなくお金の浪費方法ばかりで笑ったわ。
ブコメの奴らって本当に貧乏になるべくしてなったような奴ばかりなんだな、ってことがよく分かる。
増田は図らずもそれなりにお金の運用ができてた訳だから、これからは少しだけ見直して放置でも大丈夫なようにもっとインデックスとかで安定的に運用すればいい。
贅沢するほどの散財は無理だけど、ストレスを溜めながら貯蓄するほどではないレベルまでは来てると思うから、無理してるなーってことがあればそこに少しお金を使ってもいいとは思う。
