英語すらまともに喋られないしな・・・
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく
Rose @Rose60653167 @YzJQmqSpT488900 こんにちは。はじめまして。 私の姉の話と似ているのでコメントします。長文ごめんなさい。 姉は高校生3年生の時に塾講師の先生と付き合っていました。当時相手は40歳くらいです。 親はそれはもう大反対というか、激昂して、訴えるとか警察に届けるとか騒ぎました。 → 2024-02-15 15:34:29 Rose @Rose60653167 @YzJQmqSpT488900 姉は先生と別れるから許してくれと頼み込み、結局そういうことになったようです。姉は高校卒業後車で1時間くらいのところに一人暮らしをしましたが、実家には年に一回帰ってくるかどうかになりました。親との関係は最悪のままでした。 → 2024-02-15 15:36:51 Rose @Rose60653167 @YzJQmqSpT488900 その後3年くらいしたら
もう10年くらい前、大学生の頃の話だけど。 Twitterのオタク界隈の同ジャンルで仲良くなったグループがあった。大学生〜社会人新人くらいの世代が集まっていた。 ネットのつながりだから、顔は知らない。 その界隈で、ボイチャ繋いでゲームしたり、そのゲームのアバターのイラストとか描いて遊んでた。 そのうちの一人が、最近彼氏に振られたとかで、死ぬほど病んでた時があった。 その時俺は、そいつとはかなり仲良くて、友達としてはかなり親しんでいたし、打ち解けていた。 病みツイートが増えていたその子が普通に心配で、新幹線で移動する距離だったけど、会いに行くことにした。 俺はバチバチに童貞だったけど、それでも何の気負いも発生せず誘えるくらいの距離感、友人感覚だった。 で、会いに行った。思ったより元気だったので、安心したし、その元気に少しでも貢献できているのなら、友人として誇らしかった。 昼間はその子が住んで
はじめに フリュー Advent Calendar 2023 の20日目担当の ふりゅーぺんぎんです 今回は題名の通りHyprlandとWaybarを用い、良い感じのLinuxデスクトップ環境を作ってみようというものです Linuxデスクトップ元年はとうの昔に過ぎ去っているので、当然ご存知かと思いますが、Linuxでは自由にデスクトップ環境を選択したり改造することができます (UnixPornで検索したらカッコいいのが沢山でてくるよ) KDE PlasmaやGnomeといったデスクトップ環境以外にもウィンドウマネージャ(i3wmやXmonadなど)という選択肢がありますが、厄介なことに近年はX Window SystemからWaylandへの過渡期であり、ウィンドウマネージャ使いは乗り換えをしなければならない季節です(i3->Sway等) その中でHyprlandなるものを見つけたのですが
GitリポジトリプラットフォームのGitLabは、社内で行われたZoom会議をYouTubeに公開しています。会議の内容は専門的で不特定多数に見せるためのものではないため、本来であればこうしたZoom会議動画の再生数は少なくなるものですが、動画の中には再生数が数万回を突破しているものも存在します。これは、GitLabのZoom会議動画を使って「仕事をしているふり」をする人が多いからだと、衛星通信会社・AstranisのチーフスタッフでX(旧Twitter)ユーザーのクリスチャン・ケイル氏が明かしました。 So GitLab posts their internal Zoom call recordings on YouTube, and some have HUNDREDS OF THOUSANDS of views... Because people use them to preten
Microsoft傘下のオンラインバージョン管理サービス・GitHubが、経費削減のため使用するビデオ会議ツールをMicrosoft Teamsに移行することを決定しました。これについて、ソーシャルニュースサイトのHacker Newsでは、Microsoft Teamsの使い勝手や経営陣の一存で従業員が使用するツールを決めてしまうことの是非についての議論が発生しています。 GitHub staff are required to use Teams by Sep 1, 2023 | Hacker News https://news.ycombinator.com/item?id=34773860 GitHubのトーマス・ドムケCEOは2023年2月9日に、従業員に宛てた電子メールで従業員の10%を解雇することを発表すると同時に、経費削減のために「社用ノートPCの更新を3年から4年に変更す
「20年以上前ということもあり、覚えていないということもあります。ここで具体的な話は控えさせていただきたいと思います」 2月16日に行われたフジテレビの定例会見で、こう語ったのは大多亮専務取締役(65)。人気漫画『海猿』の作者・佐藤秀峰氏(50)が今月2日に、noteで明かしていた同作品の“映像化トラブル”に対するコメントだ。 この発言にネット上では、《本当に他人事だね》《あの俳優さんも同じ様な対応だったし》と、批判の声が上がっている。 人気漫画『セクシー田中さん』の作者・芦原妃名子さん(享年50)の急逝に触れ、『海猿』の映像化においても“自らの意思が尊重されなかった”と告白していた佐藤氏。映画の撮影現場を訪れた際には、主演俳優から“非礼”を受けたことも明かしていた。 《プロデューサーが主演俳優を紹介すると言うので挨拶に行きました。撮影前だったらしく、その俳優はピリピリしていました。プロデ
1987年兵庫生まれ。会社員のかたわら、むだなものを作る活動をしています。難しい名字のせいで、家族が偽名で飲食店の予約をするのが悩みです。(動画インタビュー) 前の記事:「私はロボットではありません」をチェックするロボットを作る > 個人サイト むだな ものを つくる ヘアアレンジ初心者から脱却したい 妻の始業時間が早すぎるのと、僕の始業時間が遅すぎるので、子どもの朝の支度は僕の担当になっている。 朝ご飯を作って食べさせて、ハミガキをして、着替えさせて、幼稚園まで送る。 朝の時間は戦争だ。 その一連の流れの中で「髪の毛を結ぶ」という工程がある。 自分の髪も他人の髪も結んだことはない。これまでの人生で経験がない作業だ。 ということで一番簡単であろう二つ結びをやることにした。1歳のときのむすめ、かわいいな!(心の声) 髪を二つに分けてゴムで結べばいい。これならさすがに業界未経験でも安心だ。 前
エスカレーターの「下り」に乗せられてるようなもので、楽にしてたら自動的に立ち位置は下がっていくものに決まっている。 降りるっていうのは、じっとしていること。じっとしている結果、乗っているエスカレーターが下っていくのと同じスピードで落ちていくこと。 成功者になるために、一段飛ばし二段飛ばしで駆け上がろうとして無理した結果、 強者としてのポテンシャルや人運に恵まれた者は成功するし、普通の個体だった者は無理をしすぎて鬱病になるなど潰れたりもする。 というか成功者になるため爆速で駆け上がることをしなくても、位置を維持しようとゆっくり階段を上る動作をするだけで潰れる者もいる。それが弱い個体。 弱い個体なので、じっとしていることにする。維持もできず落ちていく。それが降りるということ。 男を降りるとは役立たず・無能・甲斐性なしになること。そして女を降りるとは醜く・好かれなくなること。必要とされない存在、
「『大和朝廷」ではなく「ヤマト政権』」「『大化の改新』は『乙巳の変』に」大人が知らない日本史の新常識【古墳時代~飛鳥時代】 ライフ・マネー 投稿日:2024.02.17 06:00FLASH編集部 受験シーズンの2月が到来。現代の受験生が解く日本史の内容は、大人世代の知っているものとは大きく異なっている。専門家に、「教科書から消えた」日本史の常識を解説してもらった。 <古墳>日本最大の古墳は「仁徳天皇陵」ではなく「大仙陵古墳」 1980年代には「仁徳天皇陵」と記載されることが多かった日本最大の古墳の名称が、現在使われている教科書では「大仙陵古墳」に変わった。「この名称変更を紐解くと、原因は幕末までさかのぼる」と語るのは、放送大学講師で、考古学者の山岸良二氏だ。 【関連記事:高田純次『じゅん散歩』での「テキトー自己紹介」を徹底調査! 人名から「チャーハン」へ進化を遂げる75歳のギャグに脱帽】
初めに 私は独学でプログラミングその他について勉強をしていますが、基本的に知識を得るために金はかけません。調べれば何とかなるので。 私がプログラミングを始めるにあたって自分に投資したものは安いノートパソコンとマウスのみで合計金額は14600円(ノートパソコン14000円、マウス600円)ですね。 もちろんいいものはお金をかけなければ手に入りません。しかし、いいものというのはある程度のレベルにならなくては持っていても意味がほとんどないと思います。 実際にプログラミングの勉強を独学で始めると、なかなか教材を見つけることができず、え?こんないいサイトあったの!?もうちょっと早く見つけときゃあよかった!というものがめっちゃありましたので、これから独学でプログラミングの勉強をしたいという方に向けて、少しでもお役に立てたらと、紹介をしたいと思います。 というわけで、今回は私が感謝する神サイトおよびその
マッチングアプリって目的はそれぞれだけど、増田はセックスが目的で、相手の女性は恋愛が目的だったんじゃない? 文章を最初から最後まで読む限り、増田から彼女に対しての好意は感じられない。 「話がめっちゃ盛り上がる」とかは好意っぽく見えるけど、実際は「手を繋ごうとすると嫌がる」→「え、セックスできないかも?」を払拭するために、「いや、話が盛り上がってるしイケそうだ、大丈夫。何より一緒にホテルに泊まるし」という、全てが「今日この相手とセックスできるかどうか」という基準の情報しか書いてないし、「セックスできると思ったけどできなくて、これって増田が悪いの?」という問いかけだよね。 相手の女性はたぶん、人として好きになって、恋愛感情が出てきて、セックスしたいと思うのはその後なんだと思う。 だからマッチングアプリで食事をしてすぐホテルを誘う人に対して、「人として好きになり、恋愛感情が湧く」というのをすっ飛
Journalism in South Asia has always been a risky profession. Most of the countries of the region have gone through periodic phases of strict media control, a situation that takes away much of the charm from an enjoyable profession. Intimidation from powerful groups with strong political connections has always been a part of life. The result was that for many journalism was not a preferred career c
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く