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

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

じょい @joytamachan 昨日公開された、JAなんすんとラブライブの和風タッチの新しいコラボポスター、とても素敵だと思います。前回のみかんポスターと比べて見ればどちらが公的ポスターとして相応しいか一目瞭然です。 pic.twitter.com/5yhiR86zuE 2020-03-29 11:32:19

この記事の内容「夏場は露出度の高い服を着るが胸元に注目を集めたいわけではない女性」と、「見たくもないのに胸元に視線を誘導されて迷惑している人」を救うUXの提案 夏になると、表面積の少ない服を身につける機会が増える女性も多いでしょう。 その中で、露出度の高い服を切る理由が「異性に魅力をアピールしたいから」という人は、今回の記事の対象外です。 逆に「暑いから」とか「自分が着たい服が、デザイン的にたまたま表面積が少ないだけ」といった女性が今回の記事のターゲットです。 Kai 胸元はそもそも視線を集めやすいUIなのである。不本意な視線を避けるためには、視線の再誘導を促そう。ってお話。 結論からお伝えしましょう 不本意な視線を避けるために私の提示する解決策は、 アクセサリーを身に着けること です。その理由を、UI/UXの観点からお伝えしましょう。 視線誘導のための豆知識 人の視線が集まる場所には特性

いま話題のツイートまとめが読めるTwitterまとめに特化したまとめサイト。人気のツイートやTwitterトレンド、写真やマンガといった話題の画像から、さまざまなニュースの反応まで、みんなであつめる国内最大級のメディアプラットフォームです。

ハヤト@仕事は経理、プライベートはマンション修繕委員 @moguhaya うちの嫁さん、大手企業に派遣社員で働いているんだが、社員は在宅勤務で、嫁さんは出社 会社へのよくわからない問い合わせに嫁さんが電話やメールで社員へ確認 なんだこのくそみたいな働かせ方 リモートワーク万歳じゃねぇよ 2020-03-06 13:22:30 J_A_X @junji_and_x 結局リモートワークなんて上級国民の正社員様限定特権じゃん 派遣元も派遣先も、派遣社員は「労働力という商品」としか思ってないんかな… 家から正社員が派遣をリモートコントロールしてるってどういうことやねん twitter.com/moguhaya/statu… 2020-03-06 13:43:29 うっちゃん🍀🐯💎💗担🍀 @smatorataso @moguhaya 派遣先は、派遣社員もテレワークできるように対応してくれま

イギリスの政府当局が子持ちの親御さん向けに配布した「子どものPCに入っていたら注意すべきソフトウェアリスト」が、あまりにハイレベル過ぎるということでインターネット上で話題になっています。 話題になっているのはTwitterユーザーの＠G_IWさんがツイートした以下の画像。 This utter crap is being distributed through schools from the 'local authority' so presume @WalsallCouncil today. The level of disinformation is staggering. I'd be proud to find my kids learning to use any of these. Except Discord but that's nothing to do with ha

CGのデータ作成に取り組むスタッフたち。ネット動画配信サービスの拡大で制作現場に変化が生じ始めている＝東京都武蔵野市のSOLA　DIGITAL　ARTSで2020年2月7日午前11時8分、後藤豪撮影 米ネットフリックス（ネトフリ）などのインターネット動画配信サービスが急拡大していることが、経済産業省の調査で明らかになった。巨大な資金と配信網を持つ「黒船」の参入は、国内のアニメやドラマの制作現場でクリエーターを巡る争奪戦が起こるなど、変化を生んでいる。低賃金・長時間労働が課題になってきた業界にとって、光明となるのか。現状を探った。【後藤豪、宮崎稔樹】 2月上旬、東京都武蔵野市のCGアニメ制作会社「SOLA　DIGITAL　ARTS」では、ラフな服装の制作スタッフ数人が真剣な表情でパソコンに向かっていた。現在手がける3作品のうち2本がネトフリ向けで、橋本トミサブロウプロデューサー（48）は「ネ

毎度ずっと困ってたことなんだけど、切れなくなったらどうしてる？ みんな近所に刃物研ぎのお店とかあるのかなあ。 もうキャベツ割ることすらかなり重労働だし、ピーマンは滑りすぎて怖い。 新しいの買ってるのか？ 以下追記 沢山のコメントありがとう！ﾎｯﾃﾝﾄﾘで自分の増田が出てきて驚いた。 遅くなってしまってごめんね！ ほんとにざっくりまとめだからあんまり参考にならないかもしれないけど 同じく困ってる人何人かいたんで書いとくね。 「砥石かシャープナーか」 ほとんどのコメがこのどちらかに関するものだった。 結果5：3で砥石の勝ち 砥石のコメントにはこうするとうまく行くよ～ってアドバイスがずいぶんあったのが印象的。 あと砥石勢は熱意がすごい。 砥石以下砥石のコメから多かったのを。全然知らなくて調べながら書いたからね、自分でも調べてね！ ＜何を使うか＞ ・シャプトンの砥石(オレンジ、320と2000)

by Simon Steinberger YouTubeなどでムービーを視聴中に「5秒後にスキップできます」という表示と広告が出てきてイライラさせられた経験がある人も多いはず。Chromeに搭載された広告ブロック機能が、2020年8月5日からこうした広告をブロックすると、Googleが発表しました。 Chromium Blog: Videos with fewer intrusive ads https://blog.chromium.org/2020/02/videos-with-fewer-intrusive-ads.html Coalition for Better Ads Announces Better Ads Standard for Short-Form Video to Improve Consumer Experience Online https://www.bette

令和２年１月２３日 政策統括官（科学技術・イノベーション担当） 第48回総合科学技術・イノベーション会議（2020年1月23日開催）において、ムーンショット目標が決定されましたので、お知らせいたします。 目標１：2050年までに、人が身体、脳、空間、時間の制約から解放された社会を実現 目標２：2050年までに、超早期に疾患の予測・予防をすることができる社会を実現 目標３：2050年までに、AIとロボットの共進化により、自ら学習・行動し人と共生するロボットを実現 目標４：2050年までに、地球環境再生に向けた持続可能な資源循環を実現 目標５：2050年までに、未利用の生物機能等のフル活用により、地球規模でムリ・ムダのない持続的な食料供給産業を創出 目標６：2050年までに、経済・産業・安全保障を飛躍的に発展させる誤り耐性型汎用量子コンピュータを実現 参考資料 ムーンショット型研究開発制度の概

Bugyo @Bugyone 今日通勤中に、近所の小学生が「水の呼吸、二の型！」とか言いながら木の枝振り回してるのを見かけた。こういうのも時代とともに変わるんやな〜、おじさんはね、牙突が使えるんだ。 2020-02-03 19:56:36

事件がありました。 弁護士さんを通じて、刑事告訴の為の告訴状を神奈川県警察泉警察署に提出してもらっていたのですが 今日、私がレッスンに行っている間に母の携帯に、警察から電話があり「うちは告訴状とか、そういうのやってないから。こういうの送られても困るんだよね～。送り返しとくから。」と言われたそうです。 「うちはそういうのやってないから」 「うちはそういうのやってないから」 「うちはそういうのやってないから」 ( ´˙꒳˙ ) 田中弁護士のところにも泉署から電話があり、やはり、「神奈川県警ではそのような取り扱いになっている。送り返す。」と、同じ事を言われたそうです。 警察はなかなか告訴状を受け取ろうとしないとは聞いていたのですが、それにしても「うちはそういうのやってないから」と言うのは、ちょっとわけがわかりません。 「うちはそういうのやってないから」って、別に私は、ラーメン屋さんにピザの注文を

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

オープンワールドの普及によってそれが明確に分かりつつある。 戦闘システムではなく移動システムにこそ凝るべきなのだ。 移動の楽しさを阻害するものは不要だ。 ファストトラベル(※1)。ルート表示（※2）。そして通常戦闘。 この真理に気付けばオート戦闘程度でガタガタ抜かすことはなくなるだろう。 ※1 利便性として仕方のない面はあるが、究極的には「プレイヤーが望んでフィールドを移動する」よう誘導すべきである。お使いクエストであちらこちらを行ったり来たりするのはつまらない。 ※2 クエストの重要キャラやアイテムなどを、マーカーで指し示したり、そこまでの移動経路を表示したりするもの。フィールドではなくマップを見ながら移動するようになってしまう。

ここは先進国の日本 未就学児を抱えた片親に 人権はないのかもしれない これはいちシングルマザーの愚痴です。 ちゃんとした知識もなく書きなぐったものです。 多く間違いもあるかもしれませんが、どうぞ御容赦を。 ご指摘いただければ、さらに幸いです。 ただ、自分の吐き出した言葉を、撤回はなかなか出来ません。 ここが違うよ、ということを教えていただければ。それはもちろん訂正させていただきます。 追記（2020.1.31） タイトルに死とはいっているのはどうか、とか言われますが。 じゃあ頑張って生きていきましょう、という環境が少ないと思います。 私は児童扶養手当を今すぐあげてくれ、役所はもっとお金をくれ、とも思っていません。それはもちろんもらえるほうが良いですが。私は削られまくって本当に雀の涙ほどしか貰えていません。 もちろんそういう手当が必要な人は沢山居ます。その為にも手当等の細分化は必要だと思いま

いま、パソコンは完全に必需品になった。少なくとも文系研究者である私にとって。パソコンに関しては分からないことだらけで、ひとまず使っているだけというのが現状だが、分からないなりに、パソコンについて言いたいことは山ほどある。 今、ウィンドウズ7の10への「支援」(サポート)が終了しただけに、この思いは頂点に達した感がある。パソコンに詳しい人には、私が単に操作法を知らないだけであると判断される場合もあると思うが、ひとまず私の恨み節を記してみる。 改版で既存ソフトの多くが無用の長物となる 特に今回のように、以前のOSへの支援がなくなり、否応もなく「改版」(バージョンアップ)しなければならなくなると、なぜこんなにも日本マイクロソフト社(以下MS社)の都合に合わせなければならないのかと、恨みたくもなる。 なるほど改版は、ウィルス感染やサイバー攻撃に対処するために重要であることは分かる。だが、それ以外の

CSS フレームワークが辛い。 ここでいう CSS フレームワークとは Bootstrap とか Bulma とかそういうやつのことである。昔から自分はこういうのが苦手で、一定の便利さは感じつつもどうしても馴染めないという状態が続いていて、それでも「それは使い方が悪いだけで、ちゃんと使いこなせばペイするんだろう」と思って今までズルズル使ってきてしまったのだが、やっぱりそれでもどうしても辛くなり脱フレームワークしようと思う。 もちろん使いこなせる人には使いこなせるんだろうし「使うべきでない！」という主張をするつもりはない。頭のいい人には使えるんだろう。昔は「今すぐ〜すべき 10 の理由」みたいなことを適当に書いてたんだけど、どうせ自分がやってることは「 Web 系」のメインストリームからは外れてるんだろうし、合わせるつもりもなければ合わせさせるつもりでもない。使う理由も使わない理由も人それぞ