2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 この記事では、加入3か月を経てようやく形式手法の輪郭が掴めてきた私の視点から、学習前後での理解の変化について振り返ります。想定読者として学習前の私と近い属性——すなわちコンピュータサイエンスや数学の専門教育を受けておらず、主に現場での実務と自習に頼ってきたソフトウェアエンジニアを想定しています。 形式手法を学ぶ前の認識と疑問 ソフトウェアエンジニアとしての私の一番の興味関心は設計手法です。設計は、なんらかの解決したい問題に対して、ある一面を切り取った構造（モデル）を与え、そのモデルを解決の機構に落

日々、仕事や生活をしていると、不満や違和感をおぼえることは少なくないと思います。しかし、そこで実際に気持ちを言葉にするのは意外と難しいもの。「みんなは普通にやっているのに、自分だけ主張するのは『わがまま』ではないか」と、内なるストッパーが作動してしまう方も多いのではないでしょうか。 富永京子さんは、社会運動論を専門にする社会学者。著書の『みんなの「わがまま」入門』では、「自分あるいは他の人がよりよく生きるために、その場の制度やそこにいる人の認識を変えていく行動」を「わがまま」と定義し、わがままを言うことの大切さについて書かれています。 今回富永さんには、自分の気持ちを言葉にしづらい時代的な背景を起点に、実際に職場などの身近な場所で「わがまま」を言えるようになるための心構えや日々のトレーニング方法を伺いました。 私たちが「わがまま」を言えないのはなぜ？ 自分のなかに不満や違和感が芽生えたとき

10年かけて作った、めっちゃ快適なデスク環境を、惜しみなく公開します。これであなたの生産性もきっとあがる！ リモートワーク/自宅勤務 が本格化するなか、自宅の作業環境を改善し、仕事に本気になりたい方への記事です。 筆者は、「作業環境だけは、自分に合うものを選びぬく。」と決めてますので、やりきります。た、多少・・・財布が痛んでも・・・。 その結果、「デスク環境系の記事は、これ一本で大丈夫」というくらい網羅的な記事ができたつもりです。 追記: リモートワークの文脈で、Zoom映えするための記事も書きました。 併せてご覧いただけると幸いです。 After ＆ Before 以下のおすすめを、全部購入して配置すると、以下のようになります。 正面からだと、以下のようになります。 うん、クリーンだと思います。 机の上も下もケーブルがほぼ見えません。 ちなみに引っ越し直後（1年前）は、、、こんな感じでし

ゲームをプレイしていると、キャラクター同士が様々な会話を行うイベントシーンを目にすることがある。そういったゲーム内で表示されるテキストを作る「ゲームシナリオライター」という職業をご存じの方は多いだろう。 ゲームとシナリオは密接に関係しており、当然ながらその歴史はゲーム業界とほぼ同じぐらいの長さがある。だが、実のところ日本のゲーム業界において、ゲームシナリオライターとは長い間「肩書き」のひとつとして認識されていた一方、決して一般的な「職業」ではなかった。 ところがそんなゲームシナリオ業界が2010年代に入って激変し、環境も大きく改善している。その立役者と言えるのが、ある3つのゲームだ。 ひとつ目は『チェインクロニクル』。 同作はシナリオを重視したネイティブアプリがヒットすることをゲーム業界に示し、さらに多くのゲームに影響を与えることとなるシナリオ構造の原型を作った。 （画像はチェインクロニク

開発時にはみなさん Git や GitHub を使うと思いますが、使い方についてチームメンバー間で微妙に認識の違いがあると進捗を妨げてしまいます。それを防ぐためにガイドラインを定めてみました。 ちなみにこれは CX 事業本部の Tech Lead のお仕事紹介第 1 弾のポストです。 この記事の英語版も書きました。 前提 CX 事業本部ではクライアントからの開発案件や自社サービスの開発をしていますが、その際に有用な（と考えている）ガイドラインです。 様々な事情でチームメンバーが変更になる可能性があり、新規メンバーの立ち上がりを支援する意味合いも込めています。そのため、開発効率をなるべく落とさずに効果的なスキルトランスファーが実施できることを主眼としています。 ガイドライン 定めたガイドラインの全文を貼ります。 3 つのセクションに分かれています。 commit 時のガイドライン avoid

BOSEはヘッドフォンやスピーカーを開発製造するアメリカの企業です。そのBOSE製ヘッドフォン「QuietComfort 35(QC35)」に対し、ファームウェアの更新後に「ノイズ低減機能」に不具合が発生したとBOSEのコミュニティ上で多数報告され、BOSEのエンジニアチームがその調査にあたる様子が公開されています。 Bose QC 35 Firmware 4.5.2 Noise Cancellation Inves... - Bose Community - 285738 https://community.bose.com/t5/Around-On-Ear-Headphones/Bose-QC-35-Firmware-4-5-2-Noise-Cancellation-Investigation/td-p/285738#anoverview BOSEは2017年、QC35のファームウェア

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

多くの人が、ギタリストとしての自分とエンジニアとしての自分をどう両立しているか迷っているのではないでしょうか。僕もまた、そんな悩みを抱える者のうちの一人です。 特にリモートワーク中心の生活となると、自宅にいる時間が長くなってくるためどうしても環境を快適にしたくなるもの。 もともとこういった環境づくりは好きで、いままでいろいろと組み替えて来たのですが、最近またバージョンアップをしました。 いろいろな方々の記事を参考にしたのですが、特に参考にしたのがこちらの記事です。大変参考になりました。ありがとうございます。 コンセプト自分が長く過ごす上でどういったコンセプトで作るか？という点は重要です。僕の場合は以下の点を重視することにしました。 ・スタンディング環境にも変化でき、ケーブル類が整理されているデスク ・仕事、ギターともにすぐにとりかかれる環境 ・音楽機材が機能的に配置されている それぞれのコ

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

テクノロジー IPAが無償で提供している文字の検索システムがなかなかイケていると話題に／関連する文字をグラフで表示。異体字の一覧も可能【やじうまの杜】

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

自作キーボード「Fortitude60」作者。自作キーボードの基本から設計方法までまとめた同人誌「BUILD YOUR OWN KEYBOARDs」を執筆。 連載：「ハロー、自作キーボードワールド」 自作キーボードの作者であり、キーボード関連のニュース動画「ほぼ週刊キーボードニュース」を配信するぺかそとびあっこが、自作キーボードの世界の“入り口”を紹介していく。 連載一覧 そもそもキースイッチって？ キースイッチはキーボードのキーを構成する一つ一つのスイッチのことで、通常はこのキースイッチが100個程度ずらりと並んだものがキーボードとなる。 一口にキースイッチといってもさまざまな方式があり、コスト重視のものから打鍵感を追求したものまで幅が広い。 比較的安価なキーボードでよく見られるキースイッチは「メンブレン方式」と呼ばれるものだ。名前の通り、シート状の膜（メンブレン）に導電性の配線があり、

なぜこのnoteを書くのか近年は圧倒的なデザイナー不足だ。 世の中デザイン、デザイン思考が大事と言われて久しいが、どの会社もデザイナー採用に苦しんでいる。 いや、厳密にはデザイナー自体はいるのだが、圧倒的にデザイン能力の高い一部の事業会社や、クリエイティブ会社に一局集中しているという言い方の方が正しい。 そのような世間の中で、もはやいいデザイナーを見つけて引っ張ってくるよりも、「未経験からいかにいいデザイナーを育てるか」の方が余程重要性があると感じている。 しかし、いかにいいタイポグラフィ、いかにいいIAについてまとめた個別各論的な本はあれど、これらをどういうサイクルで学ぶことによってデザイナーは育てられるのか、ということについて、あまり体系だったドキュメントがないことに気づいた。 僕自身もこのあたりをよく聞かれる。僕は特に美大出たりだとか、正規のデザイナー研修や教育をまともに受けたことは

小岩井ことり @koiwai_kotori 声優 小岩井ことりとスタッフが各種情報をツイートします。 イヤホン・ヘッドフォンなど オーディオ機器やパソコンパーツも大好き!! 🎵 ラジオ「ことりの音」 🎵 雑誌「GetNavi」連載 🎵 ASMRレーベル「kotoneiro」 lit.link/KOTORI 小岩井ことり @koiwai_kotori ナレーションや台詞や歌など 自宅でも収録してお送り出来ます。 マイクはNEUMANN U87Aiや 完全防音ブースもございます。 48/24はもちろん 96kHz/32bit-floatなどでの納品も可能です。 こんな時なのでスタジオ収録が難しい場合など お役に立てる事が御座いましたら 所属事務所までご相談下さいませ。 pic.twitter.com/zxREfl2mKF 2020-04-03 00:13:55

先日の「デザインあ」の出演、お陰様で沢山の反響をいただきました。喜びを糧にして引き続き更新していきたいと思います。それでは本日はこちら。 以前、すでに社会人になった教え子を中心に「授業で何が印象に残ったか」を質問したところ、多く声が挙がったのが「環境設定についての指南」でした。私個人としては意外な答えが返ってきたため「もっと面白いことも教えていたはずなのに、環境設定か・・・」と少しがっかりもしていたのですが、なぜ環境設定が印象に残ったのか自分なりに考察しました。 まず、環境設定を教えるとはどういうことか。そもそも環境設定は、アプリケーションの使い勝手を良くするべくユーザーそれぞれがオリジナルな設定に変更できるというもの。自分好みのアプリケーションにカスタマイズできるというのが環境設定の最大の利点です。 逆に捉えると、自分好みのアプリケーションに設定するには、アプリケーションをある程度理解し

iOS 17.5 is here with support for web-based app downloads in the EU