VOICEVOX | 無料のテキスト読み上げ・歌声合成ソフトウェアオープンソースVOICEVOX は OSS（オープンソース・ソフトウェア）版 VOICEVOX をもとに構築されています。 製品版と OSS 版の違いやモジュール構成は VOICEVOX の全体構成 をご参照ください。 ソフトウェア部分は Electron + Vue 、音声合成エンジン部分は Python + FastAPI です。 追加したい・改善したい機能があれば、ぜひ開発にご参加ください。
ソフトウェアエンジニアとレモン市場とリファラル｜田畑浩平 | Flutter Engineer
経済学部経済学科卒iOSエンジニアの田畑浩平です。 「経済学ってお金に関する学問じゃなくて、有限なものの配分に関する学問だから、色々な事象の説明に使えるよな」と常々思っていたんですが、今回はソフトウェアエンジニアが感覚として理解しているであろうことの1つ「優秀なソフトウェアエンジニアは転職市場に出てきにくく、人を介してリファラル転職しがち」を経済学の「レモン市場」という考えを使って説明してみようと思います(まあ、要因の1つでしかないと思いますが)。 最近、ギーク vs スーツの対比をよく書いてたけど、その話で言うと、今のオープンなエンジニア人材マーケットってスーツ族にとってレモン市場だよなー、と思ったり。 — 田畑 浩平@個人アプリがDomani掲載🎉 (@nerd0geek1) April 10, 2019 レモン市場って？アメリカの経済学者ジョージ・アカロフが「中古車市場で購入した中
メルカリは開発組織を拡大するためにマイクロサービスアーキテクチャを採用した（前編）。Mercari Tech Conf 2018
2013年から2017年のあいだ、スタートアップを含む2000以上の組織に対して、いかに組織のパフォーマンスを加速するかという聞き取り調査を行い、その調査結果をまとめたものです。 その調査結果のひとつにこのグラフがあります。 これは組織のエンジニアの人数とそのパフォーマンスを、組織の違いによって示したものです。 横軸がエンジニアの人数、縦軸はエンジニアあたりの1日のデプロイ数を指標としたパフォーマンスです。 これによると、パフォーマンスの低い組織はエンジニアが増えるとデプロイ数も減少しています。普通のパフォーマンスの組織はエンジニアが増えてもデプロイ数に変化はありません。 一方でパフォーマンスの高い組織はエンジニアが増えるほど指数関数的にデプロイ数が増えていきます。メルカリが目指しているのはここです。 これは単純にアーキテクチャをモノリシックからマイクロサービスへ移行するだけでは実現できま
「オープンソース開発に重大危機」--GitHubがEUの著作権法改正に反対する理由
欧州連合（EU）がインターネットを使ってコンテンツ（著作物）を配布するすべてのプラットフォームに、コンテンツフィルタリングの導入を義務付けようとしている。世界最大のオープンソースレポジトリであるGitHub（同社に対してはMicrosoftが先ごろ買収計画を発表している）は、新たな法案が欧州議会を通過した場合、オープンソースソフトウェアの配布、維持に使われている仕組みが事実上崩壊すると警鐘を鳴らしている。 GitHubで政策担当責任者を務めるMike Linksvayer氏は米国時間6月20日、米ZDNetにあてたメモの中で「アップロードされるソースコードを自動的にフィルタリングするには、まったく新しい技術が必要になる」と述べる。「そして、（そうした自動フィルタリングの仕組みが導入された場合）結果的に膨大な数のフォールス・ポジティブ（誤検出）によってソフトウェア開発がはるかに不安定なものと
「安く早く」が崩壊しかけてるかも:Geekなぺーじ
日本国内でトップレベルのセキュリティ専門家である徳丸浩さんが、Twitterで「何度でも言うが、自力でトラブルシューティングできない人や組織は、自前でWordPres立ててはいけない」と発言したことが話題になっています。 [Security] Webとセキュリティとソフトウェア工学 それぞれの方々のご意見を拝見した限り、「自前でWordPres立ててはいけない」という表現に対して「ダメって言うな！」や「じゃあ、どこで経験つめばいいの？」といった論点での反論は多い一方で、「インターネットは超荒波だから気をつけようね」という点に関しては見解が一致してそうだと思います。今のインターネットの荒波がどれぐらいかというと、最後は主人公たちが乗っていた漁船が荒波に飲まれて全員死亡というパーフェクトストームという映画ぐらいのレベルだという感想を個人的に持っています。 いまのインターネットは、安さと早さを追
女性著名ソフトウェアエンジニアに殺害やレイプ予告が相次ぎ私立探偵を雇う事態に
by Antonio Marín Segovia Dockerはコンテナ型仮想化ソフトウェアの名前であり、そのソフトウェアを開発した会社の名前でもあります。そのコミュニティで多くの実績を重ねていたスターエンジニアであるジェシー・フラゼールさんが2016年3月にDockerを離れ、別のスタートアップ・Mesosphereへ転職しました。この移籍自体は円満だったとのことですが、フラゼールさんはDockerコミュニティにおいてレイプ予告・殺害予告などをたびたび受けており、そのために会社が対策を講じなければならないほどの状況にあったそうです。 One of Docker's star engineers got so many death and rape threats, the company hired private detectives to protect her - Business
プログラミング言語がソフトウェアの品質に与える影響 | スラド デベロッパー
あるプログラミング言語がその仕事に適したものであるかといった議論は論争に発展しがちだ。時には宗教戦争の様相を呈することがあるものの、プログラミング言語がコーディングプロセスだけでなく完成した製品の特性にも影響することは多くの方が同意するところだろう。これについてカリフォルニア大学デイビス校のコンピューターサイエンス研究者らが、プログラミング言語のソフトウェア品質に与える影響(PDF)に関する調査結果を発表した。研究ではGitHubの729プロジェクト(17言語、29,000人が書いた8,000万行のソースコード、150万コミット)を分析。大きなサンプルサイズを利して混合研究法のアプローチをとり、複数の回帰的モデリングやテキスト解析を組み合わせて静的型付けと動的型付け、型付けの強弱といったプログラミング言語の特徴がソフトウェアの品質に与える影響を調べた。異なる手法による調査結果を組み合わせ、
プログラム利用時のすべてのユース・ケース を 完璧に網羅 する 検証テスト なんてありえない！ なら、「論理的」に「プログラムの正しさ・完璧さ」 を 証明する「定理証明支援系言語」か？ ～ その関数型言語 との関係 - Qiita
プログラム利用時のすべてのユース・ケース を 完璧に網羅 する 検証テスト なんてありえない！ なら、「論理的」に「プログラムの正しさ・完璧さ」 を 証明する「定理証明支援系言語」か？ ～ その関数型言語 との関係形式証明定理証明CoqAgda関数型言語 この記事は、「形式証明」や「定理証明」を行うプログラミング言語とその使い方について調査を始めた作業メモです 400年の難問、「ケプラー予想の証明」やっと100％終わる コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
“フロム脳”を刺激するVRゲーム『Deracine（デラシネ）』と、社長・宮崎氏が語るフロム・ソフトウェアのこれから【E3 2018】 - ファミ通.com
TechCrunch
ゲームシステムが同じであればソフトを超えて対戦できるのか？→見事成功させた猛者現る！！