![MIT、Wi-Fiを電力に変換する安価で柔軟な素材を開発](https://cdn-ak-scissors.b.st-hatena.com/image/square/d548127a02d4a887b8c17f69a9fb5a68bfa54224/height=288;version=1;width=512/https%3A%2F%2Fpc.watch.impress.co.jp%2Fimg%2Fpcw%2Flist%2F1167%2F350%2F01.jpg)
「ロボットによる業務自動化(RPA)」導入が頓挫するのは、技術的なものやコスト的なものではなく、人間のどうしようもない性質が大きいみたいだ。先日、弊社の業務改革の一環で事務仕事の一部をロボット化(RPA)へ代行させはじめたこと、事務職の人たちの仕事を奪われるという危機意識の大きさについて、ここで書いた。 「来年からあなたの仕事をRPA化します」と事務スタッフに告げたら猛反発された。 - Everything you've ever Dreamed 今、僕は部下に、これがボスの意向の会社方針であること、世の中の働き方の流れであり会社が生き残るためには必要であること、給与や待遇は維持すること、を丁寧に説明して、同意を得ているところである。 だが、今度は、業務改革を推し進める立場である管理部門の役職者たちが、おそらくRPAについて多少学習したのだろうね、反発をはじめた。「人事、総務、経理といった
By Peter O'Hearn Communications of the ACM, February 2019, Vol. 62 No. 2, Pages 86-95 10.1145/3211968 Comments A fundamental technique in reasoning about programs is the use of logical assertions to describe properties of program states. Turing used assertions to argue about the correctness of a particular program in 1949,40 and they were incorporated into general formal systems for program provin
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く