こんばんみんみん。 バーチャル幼女プログラマーという肩書でインターネットをやっているきりみんちゃんというものです。 去年の7月に競技プログラミングのAtCoderを始めてだいたい1年くらい経ったので、勉強したこととかを振り返りたいと思います。 で、誰？YouTubeでAtCoderの過去問を解く配信をしたり、Twitterで無限にAtCoderについてつぶやいたりしているVTuberです。 普段の仕事での専門分野はAndroidアプリ開発です。 半年くらい前にAtCoderを普通の社会人エンジニアに布教するエントリを書きました。 また、技術書典で「AtCoderの歩き方 -数学が得意じゃないエンジニアにこそ競技プログラミングを布教したい！-」という本を出したりもしました。 現在のAtCoderコミュニティの中心層は理系の学生やもともと数学がかなり好きなタイプの人たちです。 一方きりみんちゃ

Endless road | During our roadtrip we turned off the highway… https://www.flickr.com/photos/98063470@N00/326044514 GitHubリポジトリ Covid19Radar に対して起ったことがかなり特殊な状況だったため、開発を追い掛けていた視線からレポートをします。 この記事の著者について 代表作のない個人アプリ開発者(かなしい) Covid-19 Radar Japan の人ではない GAFAMやCode for Japan の人でもない 4/8 Covid-19 Radarを発見する Covid-19 Radarとは、この時点ではシンガポールのTraceTogetherの日本版を目指した個人開発者 廣瀬一海さんのアプリのリポジトリ 4月にContact Tracing技術について

突然ですが絵がうまい人ってたくさんいますよね。 SNSなんか見てると、もう全人類が自分より絵が上手いんじゃないかって思えてきて、凹むことさえあります。笑 僕は23歳のド素人として美大に入学したので（うちの学校はポートフォリオ審査や美術スキルのテストは無いので本当に素人でした）、入学時点でのスキルは学校内ではすごく下の方でした。 さて、絵がうまいのはコンセプトアーティストとして働く上で当然大きなアドバンテージになりますが、一番大事なことが「絵がうまいこと」かと聞かれれば、、、どうなんでしょう？ 今回は「絵がうまいこと」よりもっと大切なことがあるぞ、と教わった授業の話です。 絵の天才じゃない人は何で勝負するの？学校が３年目に突入すると、基礎授業が終わり、だんだんとコンセプトアートらしい授業が始まります。そんな中、ある授業で教授がこんな質問をしてきます。 「さて、この中（教室内）に絵の天才はいな

教育が上手くいっているわけではない。 優秀な移民を受け入れているのはわかるが、まったく違ったアプローチでもプロジェクトを進められるところが不思議で仕方ない。 日本の大学も企業もだが、研究といっても、米国もしくは欧州で先行していて筋が良さそうな所にお金をつぎ込んできた。 ガートナーのハイプ曲線で話題になったところにお金をつぎこんだりする。 (既にメディアに出てきている時点で米国が先行しているわけだが) SpaceXがわかりやすいが、イーロンマスクがお金を出したとしても、すぐに技術が生まれるわけではない。 メディアで話題にならないような周辺技術が揃った土壌があり、トライアルを数回繰り返したら成功している。 今までにない方法も承認が下りるのが不思議だ。 日本でお金を出せば技術力が復活する、とは思えないのだがどうだろうか。 分析能力が足りないのか、レポートを書く能力が足りないのか、承認ルートが悪い

新型コロナウイルスの流行を機に、ＮＴＴ東日本が開発し無償提供しているテレワークシステムが好評だ。自宅のパソコンから安全に職場のネットワークに入れるシステムで、利用者はすでに３万２千人を超えたが、驚くべきはこのシステムがわずか２週間で開発された点だ。携わったのは同社が４月にヘッドハンティングした登大遊（のぼりだいゆう）さん（３５）。業界では名の知れた天才プログラマーだ。 「短期間で作ったシステムだが、大きな事故はない。今後のシステム開発にとって大きな価値になる」 そう語る登さんは、小学生でプログラミングを始め、高校時代にはプログラミングに関する著書を出版。筑波大在学中に開発した独自のＶＰＮ（仮想プライベートネットワーク）システムで平成１９年に経済産業相表彰も受けた。今も同社に籍を置きつつ、筑波大准教授や自ら起業したソフトウエア会社の代表も務める。 国のサイバーセキュリティー研究の中核を担う独

ぽまえらの最近のパソコンの使い方で気に入ってるのなあに ほぼブラウザとメール？ 昔はポストペットとか特打とか、いろいろ面白いソフトがあったんだぞ ヨドバシにいってきれいな風景画像のCD-ROMを買ったりしてたんだぞ

米Twitterは6月10日（現地時間）、記事やブログをTwitter上で開かずにそのままリツイート（RT）しようとすると、まずは開いてみるよう促すテストをAndroidアプリで開始したと発表した。 問題を提起し、Twitter上の会話を活発にするために記事のRTは効果的だが、それだけに内容を把握してからRTする方がいいとTwitterは説明する。RTする記事を読むのは当然のことのようだが、タイトルと概要だけ見て内容は読まずにRTするユーザーが一定の割合で存在することは確かだ。 Twitterのプロダクト責任者、ケイヴォン・ベイポー氏は補足的に「リンクや記事のTwitter上での拡散は簡単で強力だ。それだけに、拡散するユーザーがコンテンツを読んでいない場合、危険な可能性がある」とツイートした。 この発表に対し、「ユーザーは子どもではない。ばかでいたい人々は放っておくべきだ」などの反対や、T

反対意見を知れば分かりあえるのか？偏った集団でも正しい決定ができるのか？フェイクニュースほど広まりやすいのか？良好な人間関係はパフォーマンスを向上させるのか？研究者が束になってかかれば、社会的現象を予測できるのか？ こんにちは、Sansan DSOC R&D研究員の前嶋です。普段はつながりに効く、ネットワーク研究小話という連載を書いていますが、今回はここ2,3年の計算社会科学の潮流を紹介したいと思います。 計算社会科学(Computational Social Sciences)は、SNSなどのビッグデータ解析やオンライン上での実験などを用いて社会現象を定量的に分析するという、社会科学と計算機科学の融合分野です。 日本でも最近、マシュー・サルガニックによる概説書”Bit by Bit”が翻訳され、社会科学の研究者のみならず、広くその名前が知れ渡りました。日本には計算社会科学研究会というコミ

PHPエコシステムに長年関与してきたことで知られるコントリビューターが JetBrains に入社。PhpStorm チームとともに PHP 言語とエコシステムの改善を目指す。

米中の技術競争に日本はおいていかれているように、いち技術者からは見える。 どうして今のような状況になったのか、考えてみたい。 原因は1つではなく、複合的だろう。 設計ソフトが持てなかった日本日本で半導体を開発しようとすると設計ソフト(Cadence, Synopsysなど)が必要だが、国産はもうないに等しい。 Webで働いている人からするとオープンソースで開発すれば、と思われるかもしれないが、あるにはあるが、実際の製造には使えない。 機能が全然足りていないのもそうだが、全部の設計工程用のソフトはない。 設計ソフトのライセンス料金が億単位でかかる。 製造原価やウェーハ代や人件費がかかるでしょと言われるが、ライセンス料金も開発費の中でかなりの割合を占めている。 Web業界だとOracleの値上げに苦しんでいたと思うが、あれと同じような状況だ。 中国はどうかというと、日本と同様に設計ソフトは作れ

Transcript 事業を支える技術選定 コネヒトマルシェオンライン「事業を支えるWeb開発」@itosho 1 自己紹介 ▪伊藤 翔 @itosho ・コネヒト株式会社 執行役員CTO ・Backend Engineer / PHP, Go ・stand.fm はじめました ・https://stand.fm/channels/5ec2e733f654bbcab4c123a2 Follow me! 今日のテーマ「技術選定」 4 何故、技術選定は難しいのか？ ▪正解がない ・判断軸が多岐に渡り、会社の状況によっても変わる ・イデオロギーが対立しやすいトピックであり、合意形成が難しい 難しいからこそ向き合う価値がある ▪今日話すこと ・技術選定をするにあたり、どうやって意思決定をしているか ・正解がないトピックなので一つの考えとして聞いてください ※話のトピック的に、何かを「選ぶ」ので必然

ローソンは2020年春、プライベートブランド商品のロゴ・パッケージを刷新した。これまでの「ローソンセレクト」を「L basic(エル ベーシック)」「L marche(エル マルシェ)」の2つのブランドに一新したという。手掛けたのは国内外で幅広いクリエイティブを行うデザインオフィスnendoだ。 確かにデザインは美しい。しかし店頭に並んだ商品を見ると、統一感はあるが何の商品だかわかりづらい。Twitterでも「前のデザインの方がわかりやすかった」という消費者の声が目立つ。 筆者の和久井は、ライターと並行して合同会社ブラインドライターズという、視覚障害者を中心とした会社を運営している。スタッフには、中心視野が欠けていて焦点が合わない人、全体的にぼやけて見える人、トイレットペーパーの芯から物を覗いているように見える視野の狭い人など、さまざまな視覚の状態の人がいる。彼らにも見てもらったが、「非常

今SNSにアメリカでの黒人差別に関する多くの動画／写真が流れてる中で、自分が最も力強いと感じた、それぞれ世代の違う3人の黒人が話す2分弱の動画に日本語の字幕を付けました 理不尽な社会に生きる彼らの発する言葉ひとつひとつの重みを、英… https://t.co/3zvBGMKzVf

「家庭用製麺機」という名前の、ちょっとレトロな手回し式機械をご存じだろうか。その名の通り、家庭用の製麺機なのである。 その存在自体は昭和初期から確認されているが、一気に普及したのは戦後の話。終戦によって軍事需要がなくなった金属加工業者が、米よりはまだ小麦粉が手に入りやすかった食糧事情を背景に、家庭で簡単に麺が打てる機械を製造していたのだ。 これが家庭用製麺機という道具（撮影：オカダタカオ） 最盛期には生産していた会社が何十社とあり（鋳物工場が多かった埼玉県川口市、戸田市に多かった）、製麺機は社名を入れて「〇〇式製麺機」（例：小野機械製造所だったら小野式製麺機）という名前で呼ばれた。 それらは群馬や栃木といった北関東、あるいは山梨や長野方面など、自家製麺食文化のある地域で主に販売され、小麦や蕎麦を育てる農家の主婦を中心に使われていた。イタリアの家庭にパスタマシンがあるように（どれくらい普及し

町内会のおばあちゃんの話をします。 しんざきは町内会というものに所属しています。 以前マンションの理事長に持ち回りで就任した時、セットで町内会にも所属することになりまして、それ以降なにやかやでちょくちょく顔を出すようになりました。 町内会の青年団というものに「青年」など一人も所属しておらず、40歳のおっさんである私がほぼ最年少だ、ということにショックを受けたりもしていました。 この年になって「十数人のグループで最若手」になる機会があるとか、思ってませんでしたよ正直。 この町内会に、いつも電動自転車で町内を軽快に走り回っている、一人の名物おばあちゃんがいます。 もう御年は80歳を何年か過ぎていらっしゃると思うんですが、一時期体調を崩しつつもおおむねお元気で、物凄く新しい知識に貪欲で、ITスキルについても全く抵抗感というものがなく、町内会で数々の業務改善を成し遂げてきた凄いおばあちゃんでして。

AmazonのクラウドサービスであるAWSは、コンピューティングやデータベース、ストレージなど、膨大で複雑なサービスで構成されています。こうした豊富なサービス群をうまく組み合わせて利用する「ビルディングブロック」がAWSのメリットでもありますが、サービス数が多すぎてなかなか全体像を把握できないのも事実。フリーランスのエンジニアでありコンサルタントでもあるジョシュア・テイセン氏が自身のブログで、AWSのすべてのサービスを「たった1行」で説明しています。 Amazon Web Services https://adayinthelifeof.nl/2020/05/20/aws.html テイセン氏によると、Amazon Dashboardから利用可能なAWSのサービスは記事作成時点で163あるとのこと。そのすべてを正確に理解する必要はありませんが、基本を押さえておくことはいいことであり、問題の

2023.10.5追記: Goチームからプロジェクトの目的に応じたディレクトリ構造についてのドキュメントが公式に公開されています。 https://go.dev/doc/modules/layout Goでプロジェクトのフォルダ構成どうしよう、とググると見つかるStandard Go Project Layout。とはいえ、これはかなりコード量を増やしてしまう恐れがありますので、導入する場合のデメリットも考えておく方が良いです。 特に、プログラマーは、最初にみたプログラミング言語のフォルダ構成を親だと思う特性があり、Javaや.NETに影響されるとかなり細かくフォルダを切りたくなったり、package privateなど細かく可視性を制御しようとしたりして、なおかつ「privateのテストってどうすべきなんですか？」とか議論を始めたりもしますが、Go先生によればこれぐらいは1パッケージにフ

長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に

情報処理技術者試験の資格を取っても実質的に得るものはありません。「実質的に」というのは、技術者としてのスキル向上に貢献するということであり、「報奨金が貰える」とか「履歴書に書ける」などの技術と無関係なものを含まないということです。 なぜ、情報処理技術者試験が役に立たないのかと言えば、出題内容が表面的な知識問題に極端に偏っており、本質的な理解を問うていないからです。たとえば、オブジェクト指向の三要素に「カプセル化」「継承」「ポリモルフィズム」がありますが、これらを御題目のように唱えていても何の意味もありません。しかし、情報処理技術者試験ではこれらの用語さえ覚えておけば、しっかり点になります。 オブジェクト指向におけるカプセル化を説明したものはどれか。 同じ性質をもつ複数のオブジェクトを抽象化して，整理すること 基底クラスの性質を派生クラスに受け継がせることクラス間に共通する性質を抽出し，基底