某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
はじめに 2年半前の私は、IT系の会社に勤めている30代後半の平凡なサラリーマンでした。 その時点では、社外での発表経験なし、社外での勉強会の参加経験なし、技術記事の投稿経験なしでした。 そんな私が発信活動を始めたことで人生が変わりました。 今は凄く楽しいエンジニアライフになり、以下のような事が起きました。 複数のITエンジニア向けコミュニティに所属して楽しく交流 「Serverless LT初心者向け」というコミュニティを立ち上げて運営 Developers Summit 2020 KANSAI でベストスピーカー賞1位を受賞 ITエンジニア向けの月刊誌「Software Design」で連載記事を執筆 すべては発信活動を始めた事がきっかけでした。 発信活動を始めると素敵な事がいっぱいあると知ってもらう事で、発信活動を始めるきっかけになれば幸いです。 (長いので要点を知りたい人は太字のみ
いやね、昨日の夜ツイッターで夫にミルク買ってきてって頼んだら牛乳買ってきちゃった的なツイート見かけてね。 別にそのツイートだってそんなギスギスしたツイートじゃないんよ。ただ夫がやっちまったぜーって、まあそんなニュアンスのやつなんよ。 だから和やかな気持ちでリプ欄見たら、やたら攻撃的な奴が沸いててね。 正確に言わないお前が悪い!的な感じなのよ。 まあそこまで言わなくても「自分もミルク買ってきてって言われたら牛乳買うわ」的なリプやら引用やらが結構付いてんのよ。 マジで? えっ、そんなに皆牛乳の事ミルクって呼んでんの? うちは牛乳はずっと牛乳なんよ。温めたのをホットミルクとか呼ぶ事はあっても、パックに入った状態じゃ牛乳なんよ。 だからミルク買ってきてって言われて、それも家にミルクを飲む乳児が居る状態で、牛乳買ってくるって発想が全然無い。 クリープ買ってくる方がまだ理解できる。あとはスジャータのポ
はじめにこの記事の概要主にこれから就職する人や若手社員向けに、大手企業2社で人事として働いてきた私が、社内政治を勝ち抜いて生き残っていくためのコツなどを紹介する記事です。 この記事では、特に明記しない場合、社内政治の目的を「同僚よりもできるだけ早く、できるだけ高い役職や給料を目指すこと」に限ります。すなわち、社内ニートになって楽をしたいとか、人気はないけど個人的に行きたい部署に異動したいとかを目的とする社内政治については原則として言及しません。 快適な会社員人生を送るためには、社内政治以前に、業務で一定以上の成果を残すことが必要です。しかし、愚直に頑張って成果を出しているだけで周りが認めてくれるというわけではないので、この記事ではそういう正攻法以外の部分を中心に記載していきます。決して、社内政治だけで出世できるという話ではありません。また、社内政治に負けても幸せに生きる方法はいくらでもあり
こんにちは、ホスティング事業部の @dojineko です。 今日は2022年02月22日、スーパー猫の日です 🐾 そんな今回は、2022年01月に社内で共有した、Slackを活用した日常のコミュニケーションでストレスを与えやすいパターンの例とその改善手法の提案を、 テックブログの記事として編集したものを共有したいと思います。 今昔ペパボのテキストコミュニケーション GMO ペパボではコロナ禍以前より、テキストでのコミュニケーションを主体とした業務に取り組んでいます。 普段からほとんどのコミュニケーションはSlackによるテキストチャットで行われ、 それぞれが組織やサービスにある課題やそれらを改善する提案をしたり、業務に関わる内容を文字にしたりしながらコミュニケーションしています。 テキストでのコミュニケーションは、「考えていること」「思っていること」を文字として具体化できることや、 後
私は24歳の男です。今は社会人として働いています。 現在は順風満帆に暮らしていますが、自分が中学生の時に兄が犯罪で捕まり、約2年の懲役刑を受けました。もう10年前になろうとしている話ですが、今なおその時の思いは続いています。 何か事件があった時、一番に配慮されるべきは被害者であることは言うまでもありません。しかし、被害者への配慮と同時に、加害者やその家族も苦しんでいるのも事実です。被害者のことを思うと加害者やその家族は苦しみを語ることは許されません。 ここで犯罪加害者家族の思いと日々を書かせてください。 また、自らの子供が犯罪を犯したとき、その兄弟はどう思うのか、犯罪加害者の親の皆さんにぜひ知っていただきたいです。 ○家族が犯罪を起こす 私の家庭はごく一般的な家庭です。サラリーマンとパートの両親と、しっかりと学校に通っている息子3人兄弟でした。犯罪を犯したのは長男で当時は高校を卒業し、専門
インドネシア首都移転のブコメに触発されて https://b.hatena.ne.jp/entry/s/www3.nhk.or.jp/news/html/20220119/k10013437951000.html ブコメから適当にピックアップ、ネタっぽいものは除外しました。 条件案id:teraph 山が少ない平地 陸海空路でのアクセスが容易治水が楽積雪が少ない巨大地震や火山噴火が起きたときの被害が少ない候補(順不同)旭川・北海道id:BigHopeClasic 積雪を妥協すると旭川マジおすすめ 軍都に選ばれた経緯もあり良さそう。 ただ、観光に行った真冬の夜にホテルの外に出て、本当に生命の危機を感じた記憶が…。 浪江町id:mitimasu 復興になる。 福島の意見も多数あり。 奈良・京都id:twwgot 本邦も日本のほぼ中央、奈良に遷都してはいかがか id:dfk3 遺跡が多すぎて移転
解散したロックバンド「BOØWY」の元ドラマー・高橋まことさんが、ツイッターで南太平洋のトンガ付近で発生した大規模な噴火に伴う津波警報の出し方を批判し、物議を醸している。 【Twitter】津波警報に「どこでどう起きたかをちゃんと説明しなさい!」高橋まことの投稿 ■「いきなりの津波注意報は日本国民を惑わさせるだけじゃねえか!? 」 2022年1月15日にトンガ沖で発生した海底火山の大規模噴火の影響を受け16日未明、日本の奄美群島・トカラ列島に津波警報、太平洋側各地で津波注意報が発令された。同日3時前には、岩手県の津波注意報が警報に引き上げられた。 最初の警報発令から40分ほど経った16日0時56分から2時過ぎにかけ、高橋さんは津波警報についてツイッターで持論を展開した。 「津波警報!! あのねどこでどう起きたかをちゃんと説明しなさい!! 。地震を感じてない訳だからトンガの噴火の影響ですって
第一部 ドラマ化の第一話でカットされた「幻のエピソード」が逆に話題に。かなりヤバい主張?これも仮説だからアリ? 【公式】ミステリと言う勿れ〈大ヒット上映中! 〉 @not_mystery_ 📢 #TVer で第1話 無料配信中‼️ / #菅田将暉 主演 🈷️9⃣ 『#ミステリと言う勿れ』 \ 変わり者の大学生・久能整 が ひたすらしゃべり続ける新感覚ミステリー 彼の言葉はいつのまにか <難事件>も<人の心>も解きほぐしていく 「真実は一つじゃない、人の数だけある」 📺第2話 | 1月17日(月) 夜9時 リュウグウノ @rarahanako78 肉親憎悪って何であるんだろう 娘の父親に対する嫌悪感は、生物学的には正しい反応だって話に救われてるとこある。 (田村由美『ミステリと言う勿れ』) 嫌いにならずにいられるのなら、嫌いになんかなりたくないよ。 誰かを嫌うって疲れるし、肉親なら近い
2007年07月31日09:14 カテゴリ仕事書籍 プラネテス セカイ系と非セカイ系の狭間で 関東では今朝方、『コードギアス 反逆のルルーシュ』が放映されましたが、その谷口悟朗&大河内一楼コンビによる『プラネテス』についての原稿です。『グレートメカニック』に掲載したものです。STAGE24&25放映記念、というわけではないですが、アップします。 なお、原作の幸村誠による新作『ヴィンランド・サガ』は、また作者の違った側面(共通点も多いですが)が見られる内容で、これまた興味深いのですが、それはまた別の機会にでも。 (タイトル) セカイ系と非セカイ系の狭間で (本文) 『プラネテス』は、軌道上に浮遊するデブリ(ゴミ)回収を仕事とする主人公ハチマキを中心に、宇宙に魅入られた人々を描いた作品だ。原作は週刊「モーニング」に掲載された幸村誠による同名マンガ。アニメ版は、03年10月よりNHK衛星で放送。
この記事は NTTコミュニケーションズ Advent Calendar 2021 5日目の記事です。 はじめに データプラットフォームサービス部の増田(@tomo_makes)です。 組織内に点在するデータを一つのプラットフォーム上で融合して利活用を加速するSmart Data Platform ラインナップの1つ、IoTプラットフォーム Things Cloudや、それを活用したソリューションのエンジニアリングマネージャをしています。 お客様企業のデジタルトランスフォーメーションに関する技術コンサルティングも一部行っています。 さて、タイトルの「グラフィックファシリテーション」を聞いて、どんなものを思い浮かべるでしょうか。 講演やパネルディスカッションなどを「魅せる」形で色鮮やかにまとめたものを想起されるかもしれません。しかし「魅せる」ほどのクオリティでなくとも、簡単な図解をカジュアルに
あとがきを閉じる あとがきお読みいただきありがとうございます 三話目は途中までですが連載争奪ランキング一位になってインディーズ連載が決定されれば続きをお見せできるはずです ありがとうございました
動画を編集する人のみが利用できるカフェで、カウンター席とテーブル席で10席を用意するが、現在はソーシャルディスタンスを確保するため定員は5人。 店長の川井拓也さんは「配信などができる機材も揃えていて、『高円寺三角地帯』として撮影スタジオとしても活用している場所。夜に活用することが多く、昼の時間は動画クリエーターの応援ができるカフェとして、クリエーター同士の交流もしてもらえれば」と話す。 ノートパソコンだけでなく、スマートフォンで動画を編集する人も利用できる。入店時のチェックシートに「何分の動画を何時間で作る」と目標を記入し、川井さんが1時間ごとに進捗(しんちょく)をチェックするといい、原則的に動画が完成するまで退店できない。飲食物は持ち込みができ、コーヒーは飲み放題で用意。1席にコンセント2口、無線LAN、ノートパソコン用空冷スタンドなどを設置する。トイレには古いiPodやウォークマン、ガ
●県警と業界団体、普及へ協定の矢先 11月から新型の乗用車や軽自動車への衝突被害軽減ブレーキ(自動ブレーキ)の搭載義務化がスタートし、各自動車メーカーが取り組みを進める中、入善町の販売会社で17日、安全運転サポート車(サポカー)機能の実験中に男性がはねられ重体となる事故が起きた。交通事故減少につなげるためサポカー普及を目指す富山県警は、22日に県内の業界団体と連携協定を結ぶ矢先の事故となり、関係者の間に動揺が広がった。 17日午後0時6分ごろ、入善町入膳の西川自販駐車場で、サポカー機能の実験中だった同社社長西川慎一さん(72)が、実験に使用していた軽自動車にはねられた。西川さんはドクターヘリで富山市の富大附属病院に運ばれたが、意識不明の重体となっている。 入善署によると、同社で扱っているサポカーの自動ブレーキ機能の実験、検証作業のため、実物大の車後部の写真をパネルに張り、同社従業員の40代
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く