こんにちは、SWETの鈴木穂高（@hoddy3190）です。 私はこちらの記事に記載の通り、形式手法の可能性を模索しています。 現在はツールやゲームの仕様を形式的に記述すること（形式仕様記述）で、仕様の欠陥をなるべく早く見つける取り組みにチャレンジしています。 今回は仕様記述をするにあたりよく使う重要な記述テクニックである「Promotion」を紹介します。 形式仕様記述とAlloyというツールを知っている人を対象にしています。 もし形式仕様記述やAlloyをご存じない方は、以前私がbuilderscon tokyo 2019で発表したときに使った資料をご覧ください。 Promotionとは 一般にソフトウェアシステムは複数のコンポーネントから構成されます。 システム全体としての状態（以下、システム状態）は各コンポーネントの状態の組み合わせからなります。 たとえどんなに奥深くのどんなに小さ
「英語を何年も勉強しているけれど、中級レベルからなかなか伸びない……」 「英語の中級者から上級者になるには、どうすれば良いの？」 一生懸命英語学習に取り組んできたのに、中級レベルで伸び悩みを感じている方は多いでしょう。 ある程度は英語でコミュニケーションがとれていても、ふとした瞬間に自分の英語力の足りなさを痛感し、モチベーションが下がってしまった経験があるかもしれません。 ですが、早々に諦めてしまってはもったいないです。この記事を読みに来たあなたは、心のどこかで「もっと上手になりたい！」という意欲がある証拠。 意欲がある限り、まだまだ英語が伸びる可能性は十分にあります。 この記事では英語中級者の英語力が伸び悩む原因と、中級者の壁を破って上級レベルにステップアップしていくための方法をお伝えしてきます。 目標を高く持って、効率よく中級から上級レベルへと英語力を上げていきましょう！ 執筆者：Li
安倍首相の施政方針演説の起業支援で紹介の男性、既に島根県江津市から転居していた（中国新聞デジタル） - Yahoo!ニュース
安倍晋三首相の20日の施政方針演説で地方創生の好事例として若者の起業支援による移住対策を紹介する中で取り上げられた島根県江津市の男性は、昨年末に県外へ転居していた。市は、国から事前にデータ照会を受けたが、男性のことが演説に盛り込まれているとは知らなかったという。 施政方針演説では、同市が取り組んできた若者の起業支援に触れ、1例として2016年に東京からIターンし、農業の会社を別の男性と共同で起こした男性の実名を挙げて紹介。首相は「地域ぐるみで若者のチャレンジを後押しする環境が（男性の）移住の決め手となりました」と述べた。 一方で関係者によると、男性は昨年末にこの会社を辞め、既に江津を離れていた。個人的な事情という。 市によると、首相が演説で示した市の人口増減のデータなどに関する国からの問い合わせには昨年末に回答していた。
2022.09.29 スキル 池澤あやかひろゆき松本勇気戸倉彩澤円 読書の秋到来！ 良質なインプットをして、これからも「いい仕事するぞ！」と思っているエンジニアのために、澤円さんやひろゆきさんなど8人の有名エンジニアたちが「自分にとってのバイブル」と呼べる書籍を、技術系・キャリア系カテゴリーから一冊ずつ推薦。 今回は「技術編」を一挙ご紹介！（キャリア編はこちら） 圓窓 代表取締役 澤 円さんの推薦本 『私がマイクロソフトで学んだこと』（アスキー社）※現在は絶版 ボクがマイクロソフト在職中に「中の人」として読んだ本です。 細かい技術の話が書かれているわけではないのですが、本社ではどんな感じで開発が行われているのかを垣間見ることができました。 日本法人は基本的に「日本の顧客にライセンスを買ってもらって使ってもらう」というミッションのために存在しているので、ボクのような現場社員が開発プロセスに関
はじめに 好きな本を持ち寄って、まったり熱く語り合う読書会、それがスゴ本オフ。 本に限らず、映画や音楽、ゲームや動画、なんでもあり。なぜ好きか、どう好きか、その作品が自分をどんな風に変えたのか、気のすむまで語り尽くす。 この読書会の素晴らしいところは、「それが好きならコレなんてどう？」と自分の推し本から皆のお薦めが、芋づる式に出てくるところ。まさに、わたしが知らないスゴ本を皆でお薦めしあう会なのだ。 今回のテーマは「マンガ」、何回読んでも爆笑してしまう作品や、ヘコんだときに癒してくれる短編集、価値観の原点となったマスターピースなど、様々な作品が集まった。いわゆるコミック本に限らず、アニメーションや物語詩など、王道から知る人ぞ知るやつ、直球変化球取り揃えて、キリがないほど集まった。 ▼気になるマンガに手が伸びる ▼懐かしいものから未知の作品まで ▼マンガが縁で「読み友」が増える まず私ことD
ChatGPTを活用して事業計画書作成を効率化しよう 経営者にとって、事業計画書を作成するのにハードルの高さを感じている人もいるかもしれません。 しかし、事業計画書は補助金申請や金融機関から融資を受けたい時にも重視される傾向にあるものです。 事業計画書を効率的に作成するなら、ChatGPTの活用がおすすめです。 今回は、ChatGPTで事業計画書を作成する際のプロンプト例や、作成時の注意点についてご紹介します。 事業計画書の作成に頭を悩ませている方は、ぜひ参考にしてみてください。 創業手帳ではオンライン上で記入・保存ができる「事業計画シート＆資金シミュレーター」をリリース。事業計画を書くにあたっての定番項目は網羅しており、これを埋めるだけで事業の今後の計画などが整理できます。また出先で思いついた内容をちょっとメモするときに使ったりすることも可能。無料でご利用いただけますので、是非ご活用くだ
レジで自己紹介しちゃう4歳の女の子に"コミュニケーションとはなんたるか"を教わる話「こんな軽やかに人間関係築きたい」「あるあるなのかも」
みきママ🐈 @mimimama1195 @oyamaoyadayo すごいわかります☺️ うちの子も初対面の子に距離縮めるの早すぎて大抵の子は引きます😊💦💦(物理的にも1歩下がられてる。誰こいつ…って顔されてます) 2020-11-03 21:53:58
商用利用可能なChilloutMixのジェネリックAIモデルの紹介と作り方を解説｜AI天使｜pixivFANBOX
R18判定で非公開にされてしまうためこの記事は note へ移行しました！ 今後の書きモノは全てnoteにしていきます。 下記リンク先を参照＆ブクマ＆シェアして困ってる方に教えてあげてください😃 AI画界隈を盛り上げていきましょう〜😆
国内でワクチンを1回以上接種した人数は、人口のほぼ半分になった。その一方、ワクチン接種後に亡くなった人も増え続けている。彼らが残した「データ」を読み解くと、いままで当たり前にとっていた行動が危険になる可能性を示唆している。 【写真】ワクチン接種後に注意すべき行動とは？ 「6月下旬に関西に住む70代の母が1回目のワクチンを接種しました。副反応の心配はあったけど母には基礎疾患がなく、『ワクチンさえ打てば、ずっと会えていない孫に会える』との一心で接種を決めたようです。それがまさか、こんなことになるとは……」 憔悴した表情で振り返るのは、関東在住の30代・A子さん。不安な気持ちを抑えてワクチン接種に臨んだ彼女の母親だが、接種から2週間後に左半身に違和感が生じた。 「さらにその1週間後には吐き気と発熱、頭痛の症状が出ました。顔の左側が痙攣するような症状も出たので近所の病院を受診したら、総合病院への入
エンジニアバブルの終焉についてお話したものが2023年5月28日。あれから半年が経ち明確に転職時の給与についても影響が現れ始めました。スカウト媒体や人材紹介の状況を踏まえつつお話していきます。企業、候補者、そしてその間にある人材事業の事情と思惑を整理していきます。 有料設定していますが、最後まで無料でお読みいただけます。もしよければ投げ銭感覚で応援をお願い致します。 伸び悩む給与提示2022年以前であれば積極採用企業が複数集まることで競りのような現象が起き、現年収に対し1.25倍以上の提示が見られました。これは「社内で出世するより転職した方が年収が上がる」という言説に繋がって行きました。 現在では現年収据え置き、もしくは+50万円程度が相場になっています。給与が大きく上がる場合は現職の待遇が相場より悪く、そのまま入社すると自社の給与水準より低くなる場合や、新卒より低くなるためといった背景が
ツーリング雑誌編集長がこっそり教える房総半島の穴場ドライブスポット10選！半島南部の絶景、ご当地グルメなど徹底紹介 #くるまも - くるまも｜三井住友海上
こんにちは。ちょっとディープな日本全国の旅をお届けするツーリング雑誌『モトツーリング』の編集長、神田英俊です。 この雑誌は隔月で発刊中の旅雑誌ですが、日本全国の穴場的秘境や絶景ロードや郷土グルメといった旅情報をお届けしています。記事をつくるにあたっては、必ず現地で実走取材を行い、地域の知られざる郷土文化や道路史といった少々ニッチな部分も合わせてお伝えするべく、日本中を走り回っています。 本稿は、そんな僕が、ぜひ足を運んでいただきたい房総半島のオススメスポットの紹介です。今回は都内からもアクセスしやすく潮風を感じる爽やかな半島南部に焦点を絞り、内房（東京湾沿岸）と外房（太平洋沿岸）の2エリアに整理し、週末の日帰りドライブでも抜群の充実感を楽しめる、ちょっと穴場なポイントを厳選しました。 厳選ドライブスポットお品書き 海と山と断崖と！ 絶景＆観光スポット×6 鋸山は「地獄覗き」だけじゃない！
Steamオータムセールが始まったのでこれまでに出会ったオススメゲームを108個紹介する。全力おすすめリスト更新。セール期限は11月22日～11月28日まで
Steamオータムセールが始まったのでこれまでに出会ったオススメゲームを108個紹介する。全力おすすめリスト更新。セール期限は11月22日～11月28日まで て こ と で！ 皆さんお待ちかねSteamオータムセールが始まりました！やった～！ 今回もまた大手メーカーからインディーまで著名なタイトルが多く安くなっています。 ゴホン。挨拶遅れましたが、年間200個以上のゲームを遊ぶ異色な経歴を持つ高校生ライター・cookiePです。普段は電ファミにてニュース記事を担当しています。 本稿ではそんな私が今まで出会ったゲームのなかで選りすぐりの“108個のゲーム”をサクッと紹介していきます。とりあえず、紹介ゲームをまとめた画像を作ったのでどうぞ！ うへぇ….。自分で作っといてアレだけどとんでもない情報量…。 てことで本文内ではもう少し分かりやすく個々のゲームを紹介していきます。とりあえず、うだうだ言
「足に障害のある人が運転できる車」を調べるとマツダはロードスターを当たり前のように紹介しててまじ『Be a driver』って感じ
岸田奈美｜Nami Kishida @namikishida 「手動装置(足に障害のある人が運転できる)」を車メーカーで調べると大抵、ファミリー向けの福祉介護車両が出てくるし、外車にいたってはページすらほぼ用意してないのに、マツダはゴリゴリの2シーターオープンカーを当たり前のように紹介しててまじBe a driverって感じ 世界に誇ってくれ pic.twitter.com/KMh2ejkKze 2021-12-02 11:35:17
最新フロントエンド技術の総復習！ React Hooks、GraphQL、TypeScript、AMPなど紹介 - Bonfire Frontend #4 レポート
最新フロントエンド技術の総復習！ React Hooks、GraphQL、TypeScript、AMPなど紹介 - Bonfire Frontend #4 レポート こんにちは。 今年の4月にヤフー株式会社にデザイナーとして新卒入社した、三好 健太（@three4c）です。9月3日（火）にヤフーのセミナールームで「Bonfire Frontend #4」を開催しました！ このイベントの目的はフロントエンドが抱える課題を共有し、フロントエンドについて熱く語る会です。 今回のテーマは「最新のフロントエンド技術 〜夏休み総復習〜」。初心者の方でも理解しやすい内容となっており、デザイナーの私も多くの知見を得ることができました。 ヤフーからは浜田と内藤が登壇し、ゲストスピーカーとしてサイボウズ株式会社より向井 咲人さん、株式会社ディー・エヌ・エーより吉井 健文さんにお話しいただきました。 これからは
1年半のソフトウェアエンジニア長期インターンで出会ったオススメ本をたくさん紹介します - Qiita
イントロ ABEJAアドベントカレンダーの4日目に一昨日飛び込みました、長期インターン生の佐藤(Twitter: @TodayInsane)です。 去年は機械学習を通して、TWICEというK-POPグループへの愛を語りました。 ABEJAには昨年4月、「本当に何も出来ないけど、休学してプログラミングとかエンジニアの経験を積みたいんです」という何とも不安な主張をするぼくを受け入れていただきました。 この1年半のエンジニア / リサーチ両インターンの過程で出会った良い本をどしどし紹介します。 ちなみにインターン開始時は プログラミング、Pythonだけならちょびっと書けます！(ABCのB問題とか機械学習ライブラリの写経) HTMLってどんな風になってるんですか？(？) サーバ...？？リクエスト...？？ JavaScript、名前は聞いたことあります 英語の論文しんどい、2時間ぐらいかけてI
LK-99は超電導体ではない──英学術誌「Nature」は8月16日（現地時間）、そんなタイトルの記事を公開した。韓国の研究チームは7月、「常温常圧で超電導性を示す物質を合成した」とする査読前論文を公開。世界中の科学者が関心を示していたが、Natureは「この物質が超電導体ではないという証拠が発見された」と複数の研究者の証言を紹介している。 LK-99が超電導体である証拠として韓国チームは、コイン状のサンプル物質が磁石の上で揺れている動画を公開。「サンプルは『マイスナー効果』（磁場を物体内部から押し出す現象で超電導体の特徴の一つ）によって浮いている」と主張していた。また、超電導を示す証拠として、104度付近でLK-99の電気抵抗率が急激に低下することも挙げていたことから、「常温超電導が実現するのでは？」と期待が寄せられていた。 しかし、さまざまな研究者たちが検証した結果から「LK-99の不
小野寺系 / Kei Onodera on Twitter: "性的搾取が問題になるとき、その業界で働く女性の自主性を盾にとる場面が見られる。だが以前雑誌で紹介したNetflixドキュメンタリー『ホットガールズ・ウォンテッド』でポルノに出演する少女たちの様に、周到に自尊心を利用され、「自分が選… https://t.co/vQSIItKthA"
性的搾取が問題になるとき、その業界で働く女性の自主性を盾にとる場面が見られる。だが以前雑誌で紹介したNetflixドキュメンタリー『ホットガールズ・ウォンテッド』でポルノに出演する少女たちの様に、周到に自尊心を利用され、「自分が選… https://t.co/vQSIItKthA
オープンLLMの開発をリードする現場の視点から、開発の実情や直面する課題について発表したのは、Stability AI Japan株式会社の秋葉拓哉氏。Weights & Biasesのユーザーカンファレンス「W＆Bカンファレンス」で、LLM開発のポイントを紹介しました。全2記事。前半は、LLM構築タイムアタック。 「GPT-4を作ってください」と言われたらどう答える？ 秋葉拓哉氏：みなさん、こんにちは。秋葉と申します。それでは、発表させていただきたいと思います。 みなさん、さっそくですが、「GPT-4」ってすごいですよね。ここにいらっしゃっている方々はこれについては、もう疑いの余地なく、同意してくださるかなと思います。 では、質問なんですが、もし「GPT-4を作ってください。予算はあるんだよ」と上司に言われたら、どう答えますか？ ということをちょっと聞いてみたいですね。 これはけっこう意
またお得なAmazon Monitronスターターキットもご用意されています。 （取り付けキット、5 個のセンサー、ゲートウェイのセット） 運用費用 Amazon Monitronはセンサー1つあたり年間50USDのランニングコストがかかります。 費用例 ■要件 5つのモーターを監視する必要がある。 上記を実現するためにAmazon Monitronスターターキットを購入し、 モーターごとに1つのセンサーを取り付け3年間使用した。 ■試算結果 スターターキット購入費用（715USD）＋ センサー年間利用費用×5（250USD）×3年分 ＝ 1465USD（3年間利用費用） 注意事項 ■ Amazon Monitron 利用可能な地域について 米国、英国、およびEUのみで利用可能です。（2021/04/16時点） ■必要なモバイル端末について Android8.0以降のスマートフォンが必要で
改造apkの作成手法と逆アセンブラの紹介です。 逆アセンブラのOSSのリンクはこちら。 https://github.com/yukiarrr/Il2cppSpy
そろそろ疲れにくい在宅ワーク環境を整えたい人へ。「デスク」「チェア」をベテランリモートワーカーが紹介 #ソレドコ - ソレドコ
テレワークをしていて「疲れやすい」と感じるなら、デスクとチェアが合っていない可能性があります。そこで今回は長年リモートワークをしている5人が愛用しているデスクセットを紹介します。 リモートワーク（在宅勤務）をしていると、オフィスと違う環境でいまいち仕事に集中できない……という人も多いのではないでしょうか。 特に、急きょ買ったデスクやチェア（椅子）で作業をしている場合、 「会社で仕事していたときより肩こりや腰痛がひどくなった」 「仕事中の姿勢にしっくりこなくて集中しにくい」 ……と感じながらも、どれを買えばいいのか分からないまま、ずるずるとここまできてしまったということが多いかもしれません。 そこで今回は、長年リモートワークをしている“ベテランリモートワーカー”たちに、在宅勤務で集中できる「デスク」「チェア」を紹介していただきました！ ＼ ご紹介いただくのは、こちらの皆さま ／ 観音クリエイ
マスコミに大ブーメラン！旧統一教会系イベント「ピースロード」毎日新聞と中日新聞が「世界平和願う団体」として好意的に複数回紹介 | KSL-Live!
旧統一教会との関係が指摘される自転車イベント「ピースロード」に関して、毎日新聞と中日新聞が繰り返し"世界平和平和を願う団体"として好意的な記事で紹介していたことが分かった。ピースロードを巡っては、関与した政治家や自治体の長などが連日に渡りマスコミからバッシングを受けている。 ※削除が始まったのでアーカイブも追記しています 毎日新聞 2019/8/5 平和願いペダル踏む 奈良－明日香、６人で完走 ／奈良（アーカイブ） 2021/8/7 あすピースロード 平和願い力走誓う 天理 ／奈良（アーカイブ） 2021/8/9 ピースロード 平和と友好のペダル 奈良→明日香 19人が力走 ／奈良（アーカイブ） 中日新聞 2020/8/11 世界平和願い 自転車リレー 琵琶湖を１周ゴール（アーカイブ） 2021/7/20 ピースロード思い込め、本番前にプレ大会 浜松で清掃活動も（アーカイブ） 2022/6
飯 @gohan_chan_315 7th横浜で県外からいらっしゃるPさんに食べてほしい横浜（神奈川）グルメベスト7(+1)をご紹介させてください～！！🌟 どれも基本的に横浜駅周辺の駅ビルで購入いただけるのでぜひ！🥳 手書き＋文字多すぎで読みづらくてすみません！！文字読まなくていいので食べてください！！全部おいしいです！！ pic.twitter.com/k0VSRfP3Po 2022-11-14 23:27:42
日本人(アジア)にどうして新型コロナが広がらないか、どんどん権威ある説が出てきたので紹介するよ。コロナは日本では恐くない
日本人(アジア)にどうして新型コロナが広がらないか、どんどん権威ある説が出てきたので紹介するよ。コロナは日本では恐くない わたしが主催しています「21世紀を生き残るための「永江 虎の穴塾」では、５月からの塾生を募集しています。コロナ禍の間、希望者は毎月30分。わたしと1:1でzoomでブレストができます。 何ヶ月も前からずっと「日本は欧米と違う。だから対応も欧米並みにして経済を殺す必要はない」と言い続け、データの理解できないコロナ脳から散々攻撃を受けましたけどストロングスタイルを貫いてきた甲斐がありました。 わたしは医者でも科学者でもないですが、数字を見て情報分析するのはプロですから、それで飯を食ってます。もちろんこのブログは医師や統計の専門家のファクトチェックは受けているのですが、科学者の論文ではないので自分の見解をいれているわけです。で、この数日でかなり情報が変わってきましたので修正を
れいわ新選組山本代表が紹介した「英紙デイリー・テレグラフ」の記事はスプートニクによるものだった - OCEP第五電算室
内容 3月24日、れいわ新選組山本太郎代表は記者会見を開き、記者からの質問に答える形で「ウクライナにおけるナショナリスト組織」の解説を行った。その中で「これらウクライナの民族主義・ナショナリスト武装組織が政治家と結託し、国外から戦闘員をリクルートしながら勢力を拡大する様子を、ガーディアン、NEWSWEEK、デイリー・テレグラフなど国際的に有名なメディアが伝えている」として、西側メディアによる記事を紹介した。 れいわ新選組山本太郎不定例記者会見（2022年3月24日） より引用 「英紙デイリー・テレグラフ」からは、2022年3月2日配信の「WHY IS THE WEST SILENT ABOUT UKRAINIAN NEO-NAZI MOVEMENTS, AZOV BATTALION & BANDERA LEGACY?」を紹介し、「なぜ西側はウクライナのネオナチを無視するのか」と記事の内容を
ChatGPTを使うときに「これ知っておくと便利じゃね？」という知識をまとめてみました。 特にITが苦手という初心者の方にも「ChatGPTってこういう使い方もできるんだ！！」と知っていただけると幸いです。 創造力が必要な質問も答えてくれる 最近、とある内容で話をしようと思い、そのタイトルづけで悩んでいた私。 「内容は決まっているのだが、タイトルは決まっていない。何かキャッチーな内容で考えてほしいな。」と思い、ChatGPTに聞くと以下の返事が返ってきました。 このようにクリエイティブ性が求められる答えも瞬時に答えてくれるのがChatGPTです。 「自分の代わりに考えてくれる機能である」というのを前提知識として持っておくと、使い方の幅も広がりやすいのかなと感じてます。 出してくれた答えにアレンジを加えることが可能 一度提示された回答に追加で指示をすることで"より精度の高い回答を出させる"と
本の雑誌に寄稿した「森博嗣の10冊」原稿を転載します。ちょこちょこブログ用に書き換えてます。あと、そんなにひねったラインナップにはなってないかと。強いていえば『スカイ・クロラ』が入ってないことぐらいかな。大好きな作品ですが、『ヴォイド〜』と迷ってこちらを選択しました。 はじめに 森博嗣は一九九六年にミステリィ作品『すべてがFになる』で第一回メフィスト賞を受賞してデビューし、その後破竹の勢いでシリーズ作品を刊行。デビュージャンルのミステリィの枠を超え、エッセイ、日記シリーズ、SF、幻想、絵本、詩集、趣味の庭園鉄道やジャイロモノレールについて書かれたノンフィクションまで、数多のジャンル・テーマの作品を開拓し続けてきた。総作品数は文庫化などの重複を除いてさえも二〇〇を超える。そんな作家なので一〇冊の選定は困難を極めるのだが、今回はできるかぎり間口を広く、森博嗣の多様な側面を紹介してみたい。 ミス
一言紹介 「Webエンジニア、プログラマーの必読書、これを読んだ前と後では世界の見え方が違ってくる良書、脆弱なコードを例示し、初心者にもわかりやすくその問題点を解説しており、だれが読んでもためになることは保証できる。」(システムクラウド本部 クラウドサービス2部 運用技術課) リーダブルコード ―より良いコードを書くためのシンプルで実践的なテクニック
Kuwahara filterとかいう明らかに日本人の名前な画像フィルターに出会い、試してみたらすごかったので紹介する。 - Qiita
Kuwahara filterとかいう明らかに日本人の名前な画像フィルターに出会い、試してみたらすごかったので紹介する。Python画像処理画像加工フィルター 6/15追記 あとがきの提案について書きました 写真表現としての桑原フィルターの提案 #はじめに Kuwahara filter（桑原フィルター）とは 桑原フィルターは桑原道義さんという大学教授（Wikipedia曰く）が考案した平滑化フィルターの一種で、内容のシンプルさに反して上手いことかけるとまるで油絵のようになる、なんだかすごいフィルターであーる（先に結果が見たい方は記事の一番下を覗いてみよう） Kuwahara filter -Wikipedia SPECT用データ処理 (元論文？) #桑原フィルターの内容 https://upload.wikimedia.org/wikipedia/commons/4/49/Kuwahar
この日に関してはリリースの開発工数日に含まないように事前スケジュールし、 普段の仕事中にやれていない対応、作業の整理やコミュニケーションを行なう日としています。 社内イベントは、Gather.Townを使用して運用しています。 メリット / デメリット メリット エンジニアチーム全体に情報を共有するの提供 仕事以外の会話の場が増えた デメリット 運用コスト 特に組織にマッチさせて、継続的に実施できるフォーマットが決まるまでのコストがかかる ある程度繰り返し実施するとフォーマットが確定するのでコストは下がっていく ☕ Coffee Chat 内容 社内イベントで大人数で集まるコミュニケーションの場を設けることはできたが、 リモートで大人数集まっても同時に喋れるのは3〜4人程度ということも、何回か実施して分かってきました。 そこで以下のスライドで紹介されていた、Coffee Chatを取り入れ
ランスシリーズ紹介動画まとめ｜よしき
もともと書いてた内容は自主的に消しました。 ※消す前までにマガジン購読した人はメールアドレスの方に履歴が飛ぶので見れます。 noteの仕様上一度有料にした記事は消せないので 代わりにランスシリーズ紹介動画のまとめでも置いておきます。 ちょうどいま半額なので興味ある人はプレイしてみよう。 ついでだから紹介しておくと、アイキャッチの子は私がいちばん好きなペルエレ・カレットです。 私がnoteのアイコンにしてるのはアナセル・カスポーラです。 Twitterのアイコンにしているのはヌヌハラ・キャベツです。 はてなブログのアイコンにしてるのはエール・モフスです。 とにかく私はラ
公式: https://starship.rs GitHub: https://github.com/starship/starship Starship はプロンプト(ターミナルに表示されるカレントディレクトリやユーザーの情報) のカスタマイズを行うプラグインのようなもので、特徴としては 公式より引用 Starship is the minimal, blazing fast, and extremely customizable prompt for any shell! The prompt shows information you need while you're working, while staying sleek and out of the way. Rustで作られているために高速に動くそうです。 インストール Macであればとても簡単に、
早川書房の2000作品以上が50%割引の電子書籍セールがきたので、新作SF・ノンフィクションを中心にオススメを紹介する - 基本読書
ブラックフライデーに合わせて恒例となっている早川書房の50％割引のセールがきているので、今回も一年以内に刊行された新刊を中心におもしろかった作品を紹介していこうかと。夏頃のセールが2700点がセール対象だったのにくらべて今回は「2000作品以上」ということで、特に直近半年ぐらいの作品はあまりセール対象になっていないようだが、それでもおもしろい本はたくさんあるので観ていこう。 amzn.to 最初はSFから プロジェクト・ヘイル・メアリー 上 作者:アンディ ウィアー早川書房Amazon引き続き劉慈欣作品の多く(『三体』三部作からスピンオフの『三体０ 球状閃電』や『三体X 観想之宙』や短篇集の『円』など)がセール中なのでまだの人にはひとまずおすすめしておくのと(最新刊の劉慈欣長篇デビュー作『超新星紀元』はセール対象外)、アンディ・ウィアーの傑作『プロジェクト・ヘイル・メアリー』もセール対象。
元市長がコストカット事例を紹介「治水予算半減」「消防車高すぎ」「部品保証期間が近い設備に予算一切つけず。壊れたら修理すればいい」
リンク PRESIDENT Online（プレジデントオンライン） 10年の保証期間が過ぎたから部品交換したい…｢エレベーターの修理｣を急ぐ職員に前明石市長が言ったこと いまもエレベーターは問題なく稼働中 税金の無駄遣いを減らすにはどうすればいいのか。前明石市長の泉房穂氏は「財源に余裕がないのに、惰性やことなかれ主義によって浪費しているケースは多い。私は在任中、予算の使い方を4段階にわけて決めていた」という――。（第2回／全3回） 401 users 199
なぜか上手くいった 人間は自由だからなにしてもいいしなにもしなくてもいい それお前の趣味な そんなにしたいならお前がすればいいのでは？ 嫌だししたくない どうでもいいしなんでもいい なんでこんなことをしたのか 明治から続く感じのもの 雑感 なぜか上手くいった 私には面白がってずっと同じことを言う習性がある。それらが職場で流行し意図せず周囲に良い影響を与えてしまい、効率が上ってしまったのが面白かったのでまとめておくことにした。Google や Netflix などで流行らせても意味ない可能性が高く、どちらかというと非効率な組織で使いまくると効果がでると思われる。 一応書いておくと本当に効率的な職場環境を構築するのであれば、こんなマヌケなことする意味ない。しかし効果皆無でも同じことを繰り返していると脳を使わず発話だけが発生し、バーバーなんかしてる気分になるのでみんなも真似したら良いと思う。あと
マナリンクCTOの名人です。 2022年3月頃から社内で実施している「10分勉強会」という取り組みと、実際の内容についてざっくり紹介していきます。 10分勉強会の目的 10分勉強会の目的は以下のとおりです。 すぐに実務で使えるかは分からないけど、知っておいて損はないことを先に学ぶ機会を作る 実務にて学んだことで、他のメンバーにも知ってほしいと思ったことを共有する機会を作る 前者については、たとえば「新しいバージョンのPHPについて調べてみた」といった、すぐには役立たないがいずれ使うであろう知識が挙げられます。後者については、たとえば「ある施策の実装をきっかけにCSSの◯◯プロパティについて学びなおした」といった例が挙げられます。 （ちょっとあまり上手な図解ではない気がしますが）学習機会の必要性について図解してみました。 エンジニアがある施策Aを実装するには、最低限これさえ分かっていたら実装
こういうオープンソースとか詳しい人ってどんなスマホやパソコン使ってんだろ？ 気になるし資金的余裕があれば真似したい anond:20210516133911 とのことなので暇だし書いてみる パソコン自作デスクトップパソコンOSArch LinuxCPURyzen 9 5900Xワーキングメモリ32GB DDR4 SDRAMストレージ(システム)1TB NVMe SSDストレージ(データ1)6TB SATA HDD(RAID0+1)ストレージ(データ2)6TB SATA HDD(RAID0+1)ストレージ(データ3)6TB SATA HDD(RAID0+1)ストレージ(データ4)6TB SATA HDD(RAID0+1)GPURadeon RX 6900 XT 16GBディスプレイモニタ(プライマリ)LG 35WN75C-Bディスプレイモニタ(セカンダリ)中華ノーブランド14インチ16:9タ
山口慶明🇺🇸で何とか生きてる @girlmeetsNG Twitterは大人のおしゃぶり／たかがSNS、そんなムキにならないで楽しくやりましょ／本業はアメリカ🇺🇸とメキシコ🇲🇽で給料泥棒。 twitter.com/search?q=from%… 山口慶明🇺🇸で何とか生きてる @girlmeetsNG アメリカ人にとってハンバーガーとドーナツはソウルフードなので、日本のラーメンのように多くの「ご当地バーガー／ドーナツ」があるんですが、日本に行くアメリカ人から「日本ならではのハンバーガーとドーナツを教えて」と聞かれたので、日本が誇る「モスバーガー」「ミスタードーナツ」を教えたら↓ 2022-11-14 07:28:14 山口慶明🇺🇸で何とか生きてる @girlmeetsNG 日本で食べてきて感想を教えてくれたんだけど「モスバーガーは肉の歯応えがなくてサイズが小さすぎる。ミス
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
仕様記述テクニック「Promotion」の紹介 - DeNA Testing Blog
英語中級者から上級者になるための勉強法！中級から伸びないときの対策を紹介
「このバイブルに育てられた」駆け出しエンジニアだった頃に読み込んだ、学びの一冊をご紹介【技術書編】 - エンジニアtype | 転職type
好きなマンガを好きなだけ語り合うオフ会レポート（37作品を紹介）
ChatGPTで事業計画書を作ろう！プロンプト例や作成時の注意点などをご紹介
ワクチン接種後に亡くなった人々は何をしていたのか？具体例を紹介（NEWSポストセブン） - Yahoo!ニュース
「転職した方が上がる」エンジニア給与バブルの終焉と、雑すぎる一部人材紹介会社｜久松剛／IT百物語の蒐集家
オープンワールドゲームの“マップ外”に行くとどうなる？巨大生物に食われたり、世界が壊れたり…全10作品の対応を紹介 | インサイド
「LK-99は超電導体ではない」 Nature誌が掲載 世界中の科学者の追試結果を紹介
もし明日、上司に「GPT-4を作れ」と言われたら？ Stability AIのシニアリサーチサイエンティストが紹介する「LLM構築タイムアタック」
Amazon Monitronがすごいので紹介してみる - Qiita
改造apk（MOD）はどうやって作られるのか ~Unityにおけるチート手法を紹介~
県外から横浜にいらっしゃる方に食べて欲しい横浜グルメベスト7(+1)を紹介させてください！全部おいしいです！
【初心者必見】ChatGPTで知っておくと役立つ便利な使い方5選を紹介 | DevelopersIO
初心者から再読者まで、森博嗣の多様で自由な世界を示す10冊を紹介する！ - 基本読書
まとめて紹介！新人エンジニアにオススメする技術書 | IIJ Engineers Blog
CTOになったので、やってみたフルリモートワークでの実験的な施策の紹介
これは壮観。過去50年以上にわたる「プログラミング言語の人気の変遷」をアニメで紹介するムービー【やじうまWatch】
🚀 プロンプトを超絶おしゃれにする Starship を紹介 - Qiita
職場で流行らせたらなぜか効率が上がった言葉を紹介する - 山下泰平の趣味の方法
社内で実施している「10分勉強会」のご紹介
突然、紹介されるAndroidアプリ集を書いた増田のガジェット
アメリカ人に「日本のハンバーガーとドーナツを教えて」と言われ、モスとミスドを紹介した→ アメリカに出店しない理由が分かった