並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 1229件

新着順 人気順

solvedの検索結果1 - 40 件 / 1229件

  • 天才プログラマー・オードリーさんがたった200行で効果的なアプリを作れる秘訣

    天才プログラマー・オードリーさんがたった200行で効果的なアプリを作れる秘訣 オードリー・タン台湾デジタル大臣との対話 - 未曾有の危機に幅広く使える未来思考(後編) 2021年1月19日、『コロナ vs. AI 最新テクノロジーで感染症に挑む』(翔泳社刊)が発売されました。医師の起業家からAIの研究者・ITの先端技術コンサルタントによって執筆されており、コロナ対抗策としてのAIの社会実装事例・AI研究事例・医療研究事例をわかりやすくまとめられています。今回本書の発売を記念して、収録されている台湾のデジタル大臣、オードリー・タンさんへの特別インタビューから、一部内容をご紹介します。株式会社キアラ 代表取締役の石井 大輔氏による寄稿です。(前編はこちら)。 石井:今回の私の質問は少し技術的なことです。オードリーさんは天才プログラマーとして有名です。GitLab Taiwanのエンジニア友人か

      天才プログラマー・オードリーさんがたった200行で効果的なアプリを作れる秘訣
    • Python言語による実務で使える100+の最適化問題 | opt100

      指針 厳密解法に対しては、解ける問題例の規模の指針を与える。数理最適化ソルバーを使う場合には、Gurobi かmypulpを用い、それぞれの限界を調べる。動的最適化の場合には、メモリの限界について調べる。 近似解法に対しては、近似誤差の指針を与える。 複数の定式化を示し、どの定式化が実務的に良いかの指針を示す。 出来るだけベンチマーク問題例を用いる。OR-Libraryなどから問題例をダウンロードし、ディレクトリごとに保管しておく。 解説ビデオもYoutubeで公開する. 主要な問題に対してはアプリを作ってデモをする. 以下,デモビデオ: 注意 基本的には,コードも公開するが, github自体はプライベート そのうち本にするかもしれない(予約はしているが, 保証はない). プロジェクトに参加したい人は,以下の技量が必要(github, nbdev, poetry, gurobi); ペー

      • GitHub 英語例文集

        GitHub で参考になった英語表現をまとめました。文脈がわかるように原文の URL も記載しています。 🙅 方針に異議を唱える it's hard to ~~~ Select onInput doesn't function in Microsoft Edge · Issue #2331 · preactjs/preact 🤦 誤解を解く We never said that ~~~ Select onInput doesn't function in Microsoft Edge · Issue #2331 · preactjs/preact 🙊 誤解していたことを伝える now I see you suggested this in your original feature request. Type EffectCallback - allow async function

          GitHub 英語例文集
        • Python言語による実務で使える100+の最適化問題 | opt100

          はじめに 本書は,筆者が長年書き溜めた様々な実務的な最適化問題についてまとめたものである. 本書は,Jupyter Laboで記述されたものを自動的に変換したものであり,以下のサポートページで公開している. コードも一部公開しているが,ソースコードを保管した Github 自体はプライベートである. 本を購入した人は,サポートページで公開していないプログラムを 圧縮ファイル でダウンロードすることができる. ダウンロードしたファイルの解凍パスワードは<本に記述>である. 作者のページ My HP 本書のサポートページ Support Page 出版社のページ Pythonによる実務で役立つ最適化問題100+ (1) ―グラフ理論と組合せ最適化への招待― Pythonによる実務で役立つ最適化問題100+ (2) ―割当・施設配置・在庫最適化・巡回セールスマン― Pythonによる実務で役立つ

          • 2000年以上にわたって科学者を悩ませた「レンズの収差問題」がついに解決される

            by Takashi Hososhima 「古代ギリシャの科学者であるアルキメデスが凹面鏡で太陽光を集めて敵艦を焼き払った」という伝説がある通り、光学の歴史の始まりは2000年以上前に遡ります。そんな光学の歴史上で人類が2000年以上も解決できなかった「レンズの収差の解消」という難問をメキシコの大学院生が数学的に解決したと報じられています。 OSA | General formula for bi-aspheric singlet lens design free of spherical aberration https://doi.org/10.1364/AO.57.009341 Mexicans solve problem unattainable for Newton https://www.eluniversal.com.mx/english/mexicans-solve-pro

              2000年以上にわたって科学者を悩ませた「レンズの収差問題」がついに解決される
            • オセロの必勝法が見つかった件 | やねうら王 公式サイト

              すごいニュースが飛び込んできた。オセロの必勝法が見つかったのだ。正確に言うとオセロが弱解決された。まずはその論文を紹介する。 Othello is Solved : https://arxiv.org/abs/2310.19387 「弱解決(weakly solved)」を簡単に言うと、初期局面からの双方最善手を打つ時の結論(勝敗)がわかったと言う意味である。8×8のオセロの結論は引き分けなのだそうだ。「必勝法が見つかった」と本記事のタイトルで書いたが、その結果として双方最善を尽くした時のオセロの結論が引き分けだったことが判明したので正しくは「必勝法(必ず勝てる方法)が存在しないことが証明された」とでも言うべきか。 今回は、初期局面から到達できるあらゆる局面についての結論(勝敗)がわかったわけではない。こちらは「強解決(strongly solved)」と呼ばれる。 弱解決と強解決とでは、

              • アニメ「Sonny Boy」の『難解』プログラムの解説 - まめめも

                『Sonny Boy』というアニメが放送されています。学校が異次元に漂流してしまい、超能力に目覚めた生徒たちがサバイバルしながら、さまざまな奇妙な現象の裏にあるルールを解き明かし、元の世界に変える方法を探す、というストーリーです。ルールが分かったあとで何度も見直したくなります。 anime.shochiku.co.jp さて今回、『Sonny Boy』に、プログラムを寄稿しました。プログラムでおもしろいCGを作ったとかではなく、プログラムの実行の様子そのものが『Sonny Boy』の5話の中で放送されました。 こういうプログラムです。 nankai.rb このプログラムがどういうものだったかを解説します。 どんなプログラム? 実行すると、「難解」という文字がほどけてなくなるアニメーションをします。 起動したらまず、プログラム自身が画面に表示されます。 しばらくしたら「難解」が左から右へほど

                  アニメ「Sonny Boy」の『難解』プログラムの解説 - まめめも
                • 【新規事業開発】知ってること全部まとめてみた - Qiita

                  はじめに 新規事業開発に役立つ記事のリストを友人や知人に共有することが多くなり、そのつどメールやチャットツールで送ることが面倒になってきたため、「まとめ記事」にしました。 これらはたくさんの方々から教えていただいて集まった情報のリストです。実際に会ってみた、行ってみたという情報も多いです。コピーしてご利用いただいても問題ありませんし、アフィリエイトもしていません。 ※追記 (1)Qiitaの記事以外は、リンクをクリックしたら自動的に新しいタブで開くようになっています。 (2)頻繁に新しい情報を教えていただいて追加しています。「これも追加してほしい」という情報があればお気軽にコメントください。 (3)Qiitaはプログラミング記事しかダメだと知らずにこの記事を作成しました。もしQiitaから注意されたら移動します。コミュニティガイドライン - Qiita:Support 目次 新規事業開発の

                    【新規事業開発】知ってること全部まとめてみた - Qiita
                  • ぶどうをレンジでチンするとこの世の終わりのようなプラズマが発火する理由がやっと判明

                    ぶどうをレンジでチンするとこの世の終わりのようなプラズマが発火する理由がやっと判明2022.11.23 20:35510,990 Ryan F. Mandelbaum - Gizmodo US [原文] ( satomi ) 2019年2月26日の記事を編集して再掲載しています。 偶然の一致。 電子レンジに絶対入れてはいけないものと言えば、たまごとぶどう。たまごは爆発しますし、ぶどうはテスラコイルみたいな厳かな光を発し、「こ、これは…」と呆然としているとボッと燃えたりします。畑のぶどうなのに。 この奇妙な現象にまじめに取り組む論文が月曜、カナダから高名な科学誌に発表され、たいへん注目を呼んでいます。序文にはこうあり… ぶどうの球体2個を電子レンジにかけるとプラズマが発光する現象は今や全人類の知るところとなっている。 これで終わりにしてやるぜ、という本気度がうかがえます。さっそく研究班に取材

                      ぶどうをレンジでチンするとこの世の終わりのようなプラズマが発火する理由がやっと判明
                    • これで分かった!CSS GridとFlexboxの使い方を習得できるチートシート、ゲームまとめ

                      この記事では、CSS FlexboxとGridをつかってお好みのレイアウトを作成するコツやポイントをまとめた使い方ガイドやチートシート、ゲームなどをまとめて紹介しています。 ゲーム感覚で新しいCSSプロパティを学習することができたり、記述方法をど忘れしてしまったときなどにも便利で、お好みのレイアウトをオンラインで作成できるツールもあります。覚えようと思ってなかなか手がつかなかったひとも、これならすぐにはじめることができますよ。 CSS Gridの使い方ガイド、チートシート、ゲームまとめ Grid Garden CSS Gridレイアウトプロパティを使うことで、人参に水を与えながら自分の農園を育てていく、ゲーム感覚でGridプロパティを学ぶことができます。ゲームの各レベルでは、ゲーム達成に利用できる他のプロパティについてもサンプル例と一緒に解説されています。 Bonus – CSS Dine

                        これで分かった!CSS GridとFlexboxの使い方を習得できるチートシート、ゲームまとめ
                      • Othello is Solved 論文解説 (私見) - Qiita

                        今朝起きたら、とんでもない論文を見つけました。 Othello is Solved ゲームの オセロが"解かれた(弱解決)" というのです。飛び起きました。それで、16時まで二度寝してから読みました。 注意すべきは、この論文が査読を経て公開されているわけではないこと、つまり形式上特にチェックを受けたものではないことです。ただ、タイトルからして非常に衝撃的ですので、個人的に読んでみました。この記事では、私がこの論文(およびソースコード)を読んでわかったことを、なるべくわかりやすくまとめます。随時更新します。 余談ですが、このタイトルはどうやら、チェッカーというゲームが以前弱解決された際の論文"Checkers Is Solved"のオマージュだろうという話です。 この記事には専門用語が出てくるので、最後の方に基礎知識として重要な用語や知識をまとめました。 お詫びと訂正 この記事の内容は、私が

                          Othello is Solved 論文解説 (私見) - Qiita
                        • Othello is Solved

                          The game of Othello is one of the world's most complex and popular games that has yet to be computationally solved. Othello has roughly ten octodecillion (10 to the 58th power) possible game records and ten octillion (10 to the 28th power) possible game position. The challenge of solving Othello, determining the outcome of a game with no mistake made by either player, has long been a grand challen

                          • POSIX 準拠のシェルスクリプトでは find | xargs よりも find -exec {} + を使うべき! - Qiita

                            POSIX 準拠のシェルスクリプトでは find | xargs よりも find -exec {} + を使うべき!ShellScriptBashshellPOSIX はじめに find の出力を xargs にパイプで渡すというのはよく見かける使い方ですが、find -print0 | xargs -0 が使えない POSIX 準拠のシェルスクリプトでは find -exec {} + を使った方が良いです。安全かつ十分に速いからです。よく見かける -exec {} ; ではなく -exec {} + ですので間違えないようにしてください。多くのケースでは + の方が優れているのですが ; ばっかり使われているのを見ると、意外と知られてない気がします。 少しだけ予備知識として、-exec {} ; は -exec {} \; と ; をバックスラッシュでエスケープするのがよく見る使い方

                              POSIX 準拠のシェルスクリプトでは find | xargs よりも find -exec {} + を使うべき! - Qiita
                            • Web Vitals  |  Articles  |  web.dev

                              Web Vitals Stay organized with collections Save and categorize content based on your preferences. Web Vitals is a Google initiative to provide unified guidance for web page quality signals that are essential to delivering a great user experience on the web. It aims to simplify the wide variety of available performance-measuring tools, and help site owners focus on the metrics that matter most, the

                                Web Vitals  |  Articles  |  web.dev
                              • 「そうだ、数理最適化、やろう。」ってなった時にめっちゃ参考になったリンク集&参考書|CO-WRITE

                                数理最適化案件とAI/機械学習案件とのアナロジー 「やってみなければわからない」中で僕たちDSはどうするか本記事では表題に関して、脳筋系ゆるふわVTuberこと入社2年目DSの岡部がお送りいたします。(DS=データサイエンティスト) 発... ◆【理論・実践】(2021年時点で)オススメの参考書 最大のアップデートはこちらの2冊です。参考書は時代の流れに合わせていいものが出てくるものですね。もちろん過去の参考書にもいいものはたくさんありますが、日進月歩の分野である以上、新しいものに軍配が上がりやすい構図はあると思います。 しっかり学ぶ数理最適化 モデルからアルゴリズムまで Pythonではじめる数理最適化: ケーススタディでモデリングのスキルを身につけよう 以下それぞれの所感です 【理論】「最適化分野全般を知るための『最適解』」とも言われている教科書 僕が最適化にハマっていた当時は様々な本

                                  「そうだ、数理最適化、やろう。」ってなった時にめっちゃ参考になったリンク集&参考書|CO-WRITE
                                • A Visual Guide to SSH Tunnels: Local and Remote Port Forwarding

                                  Bridge vs. Switch: What I Learned From a Data Center TourNetworking Lab: Ethernet Broadcast DomainsNetworking Lab: L3 to L2 Segments MappingNetworking Lab: Simple VLANDon't miss new posts in the series! Subscribe to the blog updates and get deep technical write-ups on Cloud Native topics direct into your inbox. TL;DR SSH Port Forwarding as a printable cheat sheet. SSH is yet another example of an

                                    A Visual Guide to SSH Tunnels: Local and Remote Port Forwarding
                                  • ドイツに生息する野生のイノシシが高濃度の放射性物質で汚染されている理由が明らかに

                                    1986年に発生したチョルノービリ原子力発電所事故(チェルノブイリ原子力発電所事故)は近隣諸国に放射性物質をまき散らし、チョルノービリから1000km以上離れたドイツに生息するイノシシの体も放射能汚染を受けていることが知られています。ところが、イノシシの体に蓄積された放射性物質を調査した新たな研究では、イノシシの放射能汚染はチョルノービリ原子力発電所事故だけではなく、1960年代の核兵器実験にも原因があることが判明しました。 Disproportionately High Contributions of 60 Year Old Weapons-137Cs Explain the Persistence of Radioactive Contamination in Bavarian Wild Boars | Environmental Science & Technology https

                                      ドイツに生息する野生のイノシシが高濃度の放射性物質で汚染されている理由が明らかに
                                    • 「言語学の父」が生み出した文法の謎が2500年の時を経てついに解き明かされる

                                      紀元前5世紀頃のインドの文法学者であり、「言語学の父」とも呼ばれるサンスクリット文法学者・パーニニが作成した文法規則を解読することに研究者が成功しました。 In Pāṇini We Trust: Discovering the Algorithm for Rule Conflict Resolution in the Aṣṭādhyāyī https://www.repository.cam.ac.uk/handle/1810/332654 Ancient grammatical puzzle solved after 2,500 years https://phys.org/news/2022-12-ancient-grammatical-puzzle-years.html A 2,500-Year-Old Puzzle from Ancient India Has Finally Be

                                        「言語学の父」が生み出した文法の謎が2500年の時を経てついに解き明かされる
                                      • 自分がどれくらいニューラルネットワークを理解しているかを確かめられるゲーム「Graph Game」

                                        「Graph Game」はニューラルネットワークの構造をグラフで作成するゲームです。AI技術の発展と共に頻繁に目にするようになった「ニューラルネットワーク」をどの程度理解しているか試せるゲームとのことなので、実際にプレイしてみました。 Graph Game - By Sabrina Ramonov https://graphgame.sabrina.dev/ サイトにアクセスするとこんな感じ。「RNN」「LSTM Cell」「GRU Cell」「ResNet Block」「Deep RNN」という5つのステージが用意されています。まずは「RNN」をクリックしてみます。 「x_t」「h_t」「y_t」という3つの箱が出現しました。それぞれの箱はデータを表しており、上が出力で下が入力となっています。「x_t」の上の○をクリックし、ドラッグして「h_t」の下に接続します。 緑の線で接続が表示され

                                          自分がどれくらいニューラルネットワークを理解しているかを確かめられるゲーム「Graph Game」
                                        • カメラのレンズに2000年ぶりのイノベーション! 球面収差を「完璧に」打ち消す数式が発見される

                                          カメラのレンズに2000年ぶりのイノベーション! 球面収差を「完璧に」打ち消す数式が発見される2019.08.13 11:00154,061 Andrew Liszewski : GIzmodo US [原文] ( Kaori Myatt ) 2000年かけても解けなかった謎がついに。 カメラ好きなら誰しも、写真(レンズ)のはじっこの像がにじんだり色がブレたりすることに悩んだことがあるでしょう。これはもうレンズの物理的な性質で、補正することはできても消すことはできない...と思っていました。 しかし、その常識がくつがえる日が来ました。メキシコ・モンテレイ工科大学のラファエル・ゴンザレス=アクーニャさんが導き出した数式を使えば、このにじみを完璧に補正できるレンズを設計できるというのです! モンテレイ工科大学の公式ウェブサイトでは、ラファエルさんがインタビューでひらめきのきっかけについてコメン

                                            カメラのレンズに2000年ぶりのイノベーション! 球面収差を「完璧に」打ち消す数式が発見される
                                          • 古代ローマのコンクリートにはひび割れを「自己修復」する機能があったと判明! - ナゾロジー

                                            愛媛県生まれ。大学で福岡に移り、大学院ではフランス哲学を学びました。 他に、生物学や歴史学が好きで、本サイトでは主に、動植物や歴史・考古学系の記事を担当しています。 趣味は映画鑑賞で、月に30〜40本観ることも。 以前はKAIN名義で記事投稿をしていましたが、現在はナゾロジーのディレクションも担当することに。大学では電気電子工学、大学院では知識科学を専攻。科学進歩と共に分断されがちな分野間交流の場、一般の人々が科学知識とふれあう場の創出を目指しています。 We Finally Know How Ancient Roman Concrete Was So Durable https://www.sciencealert.com/we-finally-know-how-ancient-roman-concrete-was-so-durable Riddle solved: Why was Ro

                                              古代ローマのコンクリートにはひび割れを「自己修復」する機能があったと判明! - ナゾロジー
                                            • 「なぜ古代ローマ時代のコンクリートは2000年もの耐久性を誇るのか?」の謎が明らかに

                                              古代ローマの人々は非常に高い建築技術を持っており、約2000年前に作られた道路や水道橋、港、建造物などが現代に至るまで残されています。「一体なぜ、古代ローマのコンクリートは2000年が経過しても大丈夫なほどの耐久性を誇るのか?」という謎について、マサチューセッツ工科大学(MIT)が率いる国際的な研究チームが調査したところ、「コンクリートの製造プロセス」にヒントがあることが明らかになりました。 Hot mixing: Mechanistic insights into the durability of ancient Roman concrete | Science Advances https://www.science.org/doi/10.1126/sciadv.add1602 Riddle solved: Why was Roman concrete so durable? | M

                                                「なぜ古代ローマ時代のコンクリートは2000年もの耐久性を誇るのか?」の謎が明らかに
                                              • A Modern C Development Environment

                                                Sometimes, C/C++ projects have a long development cycle. When working on such a project, it can be easy to take our development environment for granted, and forget about the effort invested in its bring-up. The build environment works like magic, the test framework is neatly integrated, and the CI/CD pipeline relieves us of tedious, repetitive tasks. For me, all it took was a simple thought: How d

                                                  A Modern C Development Environment
                                                • 42は3つの立方数の和で表せる――惑星コンピューターを使って最後の難問を解く - fabcross for エンジニア

                                                  ブリストル大学とマサチューセッツ工科大学(MIT)が率いるチームは、65年におよぶ数学パズルで、最後まで残っていた解を求めることに成功した。 この問題は1954年にケンブリッジ大学で設定された方程式 x3+y3+z3=k について、k=1から100までのすべての解を求めるというものだ。このディオファントス方程式(Diophantine Equation:多変数多項式の整数解や有理数解を求める問題)を解くには、膨大な計算を必要とするため、当時すぐに手に負えなくなった。しかしその後のコンピューターの進歩により、それぞれのkについて解が求まり、あるいは解がないことが証明され、「33」と「42」が残っていた。このうち「33」については、ブリストル大学のAndrew Booker教授がスーパーコンピューターを使って解を求めることに成功し、残るは「42」だけとなっていた。 奇しくも「42」は、イギリス

                                                    42は3つの立方数の和で表せる――惑星コンピューターを使って最後の難問を解く - fabcross for エンジニア
                                                  • ChatGPT APIのFunction callingを使って、請求書の構造化データを抽出する | gihyo.jp

                                                    いまからわかる!ChatGPT活用プログラミング ChatGPT APIのFunction callingを使って⁠⁠、請求書の構造化データを抽出する 先月、OpenAIからFunction calling(関数呼び出し)機能がリリースされました。これが何なのか、何のために使うべきなのか、ちょっと見ただけでは分かりづらいと思います。 今回は請求書から情報抽出をするというよくありがちなケースを題材に、Function callingの利便性を示してみます。 Function callingとは OpenAIが2023年6月13日にリリースしたChat APIの追加機能です。主にできることとして以下の3つが挙げられています。 外部ツールを呼び出して質問に答えるチャットボットを作成する 自然言語を内部APIの呼び出しやSQLに変換する テキストから構造化データを抽出する たとえば天気予報と血液型

                                                      ChatGPT APIのFunction callingを使って、請求書の構造化データを抽出する | gihyo.jp
                                                    • The new wave of Javascript web frameworks

                                                      The new wave of Javascript web frameworksMake sense of the proliferation of new Javascript web frameworks. A deep dive into the problems at scale and the recent evolution of innovation. IntroductionStaying current in the Javascript ecosystem is not for the faint of heart. It’s challenging for those entering the industry to follow what’s happening amongst the new libraries, frameworks, concepts, an

                                                        The new wave of Javascript web frameworks
                                                      • Welcome - 100 Exercises To Learn Rust

                                                        Welcome Welcome to "100 Exercises To Learn Rust"! This course will teach you Rust's core concepts, one exercise at a time. You'll learn about Rust's syntax, its type system, its standard library, and its ecosystem. We don't assume any prior knowledge of Rust, but we assume you know at least another programming language. We also don't assume any prior knowledge of systems programming or memory mana

                                                        • Draw SVG rope using JavaScript

                                                          This is an interactive article. To fully experience it, you'll need to turn JavaScript on. Today, I'll take you through the process I came up with in regard to transforming an SVG path into a vector rope drawing. We'll learn how to turn the path on the left into the rope on the right: The problem popped up on a project my colleagues were working on, and it stuck with me. I thought about it and sta

                                                            Draw SVG rope using JavaScript
                                                          • Deep Learning ideas that have stood the test of time

                                                            Deep Learning is such a fast-moving field and the huge number of research papers and ideas can be overwhelming. The goal of this post is to review ideas that have stood the test of time. These ideas, or improvements of them, have been used over and over again. They’re known to work. If you were to start in Deep Learning today, understanding and implementing each of these techniques would probably

                                                            • The new wave of React state management

                                                              The new wave of React state managementUnderstand the core problems state management libraries need to solve. And how the proliferation of modern libraries address them in new ways. IntroductionAs React applications grow in size and complexity, managing shared global state is challenging. The general advice is to only reach for global state management solutions when needed. This post will flesh out

                                                                The new wave of React state management
                                                              • Flying away from AWS – Terrateam

                                                                Migrating from AWS to Fly.io TL;DR It was a pleasure migrating from AWS to Fly.io (opens in a new tab) but it's not all rainbows and unicorns. Fly.io goes above and beyond to create an exceptional developer experience. It's super easy to hit the ground running. However, there are some rough edges that you might encounter. If you like managing your own infrastructure and can live without stellar su

                                                                  Flying away from AWS – Terrateam
                                                                • GitHub’s Engineering Team has moved to Codespaces

                                                                  EngineeringProductGitHub’s Engineering Team has moved to CodespacesOver the past months, we’ve left our macOS model behind and moved to Codespaces for the majority of GitHub.com development. Today, GitHub is making Codespaces available to Team and Enterprise Cloud plans on github.com. Codespaces provides software teams a faster, more collaborative development environment in the cloud. Read more on

                                                                    GitHub’s Engineering Team has moved to Codespaces
                                                                  • ML Ops: Machine Learning as an Engineering Discipline

                                                                    So, your company decided to invest in machine learning. You have a talented team of Data Scientists churning out models to solve important problems that were out of reach just a few years ago. All performance metrics are looking great, the demos cause jaws to drop and executives to ask how soon you can have a model in production. It should be pretty quick, you think. After all, you already solved

                                                                      ML Ops: Machine Learning as an Engineering Discipline
                                                                    • Generate React Component with TypeScript AST

                                                                      理解して導入するWebフレームワーク ~解決すべき課題に着目する~ / Understanding and implementing web frameworks ~focusing on the problems to be solved~

                                                                        Generate React Component with TypeScript AST
                                                                      • Go: A Documentary

                                                                        Go: A Documentary by Changkun Ou <changkun.de> (and many inputs from contributors) This document collects many interesting (publicly observable) issues, discussions, proposals, CLs, and talks from the Go development process, which intends to offer a comprehensive reference of the Go history. Disclaimer Most of the texts are written as subjective understanding based on public sources Factual and ty

                                                                        • GitHub ActionでDockerコンテナをビルドしてAmazon ECRに保存する | DevelopersIO

                                                                          はじめに おはようございます、加藤です。下記のブログで、AWS認証情報の設定とAmazon ECRにログインするGitHub Actionが公開されている事を知りました。 これらを使って、GitHubで管理しているDockerイメージをビルドして、ECRに保存する方法を紹介します。タグが付けられて時にのみ動作し、そのタグをイメージに引き継ぐ仕様で作りました。 Continuous delivery of container applications to AWS Fargate with GitHub Actions | AWS Open Source Blog AWS IAM ユーザーの作成 GitHub ActionからAmazon ECRへアクセスする為の、IAMユーザーを発行します。マネジメントコンソールへのアクセスは必要無いので、アクセスの種類はプログラムによるアクセスのみを設定

                                                                            GitHub ActionでDockerコンテナをビルドしてAmazon ECRに保存する | DevelopersIO
                                                                          • Ultimate Guide to Python Debugging

                                                                            Even if you write clear and readable code, even if you cover your code with tests, even if you are very experienced developer, weird bugs will inevitably appear and you will need to debug them in some way. Lots of people resort to just using bunch of print statements to see what's happening in their code. This approach is far from ideal and there are much better ways to find out what's wrong with

                                                                              Ultimate Guide to Python Debugging
                                                                            • AtCoderで赤になるまでにやったこと - koba-e964の日記

                                                                              AtCoderで赤タッチしたのももう1.5年も前ですが書きます。覚えていないこと・抜け・漏れなどのオンパレードですがご容赦ください。 お前は誰 kobae964 - AtCoderです。2017年11月に初めてAtCoderでredになりました。 RedCoderになりました!!!! pic.twitter.com/PcRWWu32qS— koba (@kobae964) 2017年11月11日 なんで今更これ書いたの 当時は面倒だったので書きませんでした。その後人々が変色時に記事を書いていくようになり、見かけた記事は大体全部読んでいました。 微笑ましいと思ったもののAtCoderの赤でそれをやった人を見たことがなかったので、せっかくなので書こうと思いました。すでに誰か書いていたらごめんなさい。 注意事項 筆者はAGCよりもARCの方が得意なため、AGCでの立ち回りは強い人に聞いてください

                                                                                AtCoderで赤になるまでにやったこと - koba-e964の日記
                                                                              • 「双方にミスがなければオセロは“引き分け”になる」を証明した方法 オセロAI世界1位が解説

                                                                                このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: @shiropen2 オセロで初期局面から双方のプレイヤーがミスをせずに打ち続ければ結果は引き分けになることを証明したと主張する論文「Othello is Solved」が、2024年1月にプレプリントとして発表された。 この論文の日本語解説記事が、情報処理学会が会員向けに月刊で発行する学会誌「情報処理」の2024年2月発行分(65巻3号)において『「オセロが解けた」を白黒ハッキリさせようじゃないか』と題して掲載。この解説記事を書いたのは、CodinGameにおける「Othello」という常設のプログラミングコンテストで世界1位を経験した山名琢翔氏(現在、筑波大

                                                                                  「双方にミスがなければオセロは“引き分け”になる」を証明した方法 オセロAI世界1位が解説
                                                                                • What it was like working for GitLab

                                                                                  I joined GitLab in October 2015, and left in December 2021 after working there for a little more than six years. While I previously wrote about leaving GitLab to work on Inko, I never discussed what it was like working for GitLab between 2015 and 2021. There are two reasons for this: I was suffering from burnout, and didn't have the energy to revisit the last six years of my life (at that time)I w