Python言語による実務で使える100+の最適化問題 | opt100
指針 厳密解法に対しては、解ける問題例の規模の指針を与える。数理最適化ソルバーを使う場合には、Gurobi かmypulpを用い、それぞれの限界を調べる。動的最適化の場合には、メモリの限界について調べる。 近似解法に対しては、近似誤差の指針を与える。 複数の定式化を示し、どの定式化が実務的に良いかの指針を示す。 出来るだけベンチマーク問題例を用いる。OR-Libraryなどから問題例をダウンロードし、ディレクトリごとに保管しておく。 解説ビデオもYoutubeで公開する． 主要な問題に対してはアプリを作ってデモをする． 以下，デモビデオ： 注意 基本的には，コードも公開するが， github自体はプライベート そのうち本にするかもしれない（予約はしているが， 保証はない）． プロジェクトに参加したい人は，以下の技量が必要（github, nbdev, poetry, gurobi); ペー
グラフ描画アルゴリズムとNetworkxの裏側 - Qiita
0.グラフの描画ってどうやるの？ 二次元に描画するためには各頂点に適切に座標を与える必要がありますが、グラフは頂点と辺の情報しか持っていません。どのように頂点を配置すればよいのでしょう？？ この記事ではグラフをいい感じに配置するアルゴリズム Fruchterman-Reingold algorithm を説明します。Pythonだと networkxというライブラリで簡単に使用できます。しかし簡単すぎて悔しいので networkxの GitHub の実装を追いながら仕組みを確認していきます。 この記事の流れはこうです。 動かしてみる アルゴリズムの説明 Networkx の実装を追う 1.動かしてみる 動けば満足な方のために先に実装例を示しときます。Google colaboratory だと既にnetworkxがインストールされてるので、コピペですぐ試せます。 ランダムに配置 → ran
【初見にオススメ】Raspberry Pi PicoをブラウザだけでLチカする入門 (Web Serial API) - Qiita
この方法だとターミナル系ソフト使わずにLチカまで最速でいけるんじゃないでしょうか。 Macでやっていますが、Windowsでも問題無い気がします。 Raspberry Pi Pico Raspberry Piシリーズから出たマイコンです。Raspberry Piが出したArduinoみたいなイメージを持っています。 #raspberrypipico のサイズ。 銀のエンゼルと横幅が同じくらい 縦幅はエンゼル2個分。#iotlt #protoout #チョコボール #raspberrypi pic.twitter.com/wv74SxBE8A — 菅原のびすけ (@n0bisuke) February 4, 2021 特徴はこんな感じです。↓ 小さい - 銀のエンゼル 安い - 500円くらい GPIOがけっこうある MicroPythonとC/C++で書く 通信モジュールは無い 通信モジュ
GitHub - bazelbuild/starlark: Starlark Language
Starlark (formerly known as Skylark) is a language intended for use as a configuration language. It was designed for the Bazel build system, but may be useful for other projects as well. This repository is where Starlark features are proposed, discussed, and specified. It contains information about the language, including the specification. There are multiple implementations of Starlark. Starlark
不動点コンビネータを用いた無名再帰関数の実行まとめ - Qiita
諸般の理由で『Pythonのlambda式を用いたラムダ計算の基礎表現』を書いた後にHaskellに触れたところ，無名再帰関数を実行する不動点コンビネータfixがとんでもなく簡単に書けたため，同じ方法で他のプログラミング言語でもできないか試したところ，これまたあっさりできたので，まとめメモ的に新しく記事にした． このような内容がQiitaや書籍，ネット上に星の数の更に星の数乗ほどあることは承知しているが，この手の話はYコンビネータが大きな割合を占めており（実際，元記事でも取り上げている），関心のある人々の数多ある参考資料のひとつ程度に捉えてもらえると幸いである．ツッコミ，編集リクエスト歓迎． 不動点コンビネータの定義 不動点コンビネータとは，$f(g(f))=g(f)$が成り立つ関数$g$を指す．この記事では，Haskellの呼称であるfixを不動点コンビネータの関数名とする． Haske
Pure Python Tracepath | IIJ Engineers Blog
最近はセキュリティログ解析などに取り組んでいます。何か面白そうな話題があればお声がけください。IIJ/IIJ-II技術研究所所属。 こんにちは。島です。技術研究所でセキュリティログ解析などに取り組んでいます。 先日、入用でtracepathに相当する機能をPythonで作る場面が出てきました。tracepathは自分のノードから対象ノードまでのインターネット上の経路（ルータ）を発見し、遅延やMTUを計測するプログラムで、iputilsの一部として配布されています。 tracepathとは tracepathと似たプログラムにtracerouteがあり、ほぼ同等の機能を提供しています。わたしを含む年齢層高めの人には、tracerouteの方が馴染みのあるプログラムかもしれません。tracerouteはその実行に管理者権限が必要ですが、tracepathは一般ユーザでも実行できるという違いがあ
DeepSource: The AI Code Review Platform
Deep code review with hybrid static analysis and AI agents. High-signal, low false-positive issues and structured feedback across security, quality, complexity, and coverage. Inline review on pull requestsCatch bugs, anti-patterns, and security vulnerabilities on every pull request. Powered by 5,000+ deterministic rules along with our state-of-the-art AI review agent.
まったりLog残し - 超音波センサーで見守りシステムを作ってみる
About Me 実家の自動車プレス金型設計業（sano-design.info）に所属。 pythonと小さいガジェット好き 最近は諸事情で家事業が多め
PythonだけでIoTのPoCを組める、「Degu」はWeb系エンジニア向けのIoTセンサー
PythonだけでIoTのPoCを組める、「Degu」はWeb系エンジニア向けのIoTセンサー：組み込み開発ニュース（1/2 ページ） アットマークテクノ、Seeed、コアスタッフの3社は、Python系言語を扱うWeb系エンジニアに向けてIoTセンサー技術をオープンソースで提供するプロジェクト「Degu（デグー）」を共同で発足すると発表した。 アットマークテクノ、Seeed、コアスタッフの3社は2019年3月15日、東京都内で会見を開き、Python系言語を扱うWeb系エンジニアに向けてIoT（モノのインターネット）センサー技術をオープンソースで提供するプロジェクト「Degu（デグー）」を共同で発足すると発表した。Deguプロジェクトに基づく製品は、プロセッサなどを組み込んだ通信モジュールとなる「Deguベースユニット」と、Seeedが提供する基本センサーパックとなる「Groveスタータ
Raspberry Pi3でpigpioライブラリを使ってLチカする - Qiita
この記事はSFC-RG Advent Calendar 2017の19日目です。 Raspberry Pi3でラズビアンやpigpioライブラリを入れて、Lチカ（LEDの点滅）する方法について書きました。 Pythonでやってます。 GPIO楽しいよ みんな大好きRaspberry Pi。ただの小型Linuxマシンとして使ってませんか(´・ω・｀)？ 普通のPCと違ってRaspberry PiにはGPIO、すなわち「汎用入出力端子」があります。40個並んだピンヘッダがそれです。それを使うか使わないかはその人のやりたいこととの兼ね合いなので仕方のないことですが、全く使い方を知らないというのは非常にもったいないことだと思うのです。 シェル、その他にCやPythonなどで書いたのプログラムからLEDとかモーターとかトグルスイッチといった電子部品を制御したり逆に入力を受つけたりすることは普通できま
やさしいスターリンソート入門【実用的】 - Qiita
def gentle_stalin_sort(arr): siberia = [None] * int(max(arr) + 1) for n in arr: try: siberia[int(n)] = n except: pass # siberiaに送れないnは粛清 return [n for n in siberia if n is not None] # n>0なら if n だけでよい a = [5, 3, 4, 0, 2, 1] gentle_stalin_sort(a) すてき！ え？ Nが大きな値の時はどうするのか？ シベリアは広大なので、そんなことは気にしません。 計算量 やさしいスターリンソートのソースを見ると、一重のループしか存在しません。 実際、ちゃんと実装をすれば時間計算量のオーダーは O(len(arr) + max(arr)) で済みます。すごい！ ただし、
Improvements in GHC's testsuite infrastructure — The Glasgow Haskell Compiler
Ben Gamari - 2019-07-08 GHC’s testsuite is our first line of defense against correctness regressions. However, as is often the case, the infrastructure that keeps it running has been long neglected. Our recent efforts in enforcing a CI-cleanliness in all GHC builds has resulted in a few bits of work that I thought would be nice to share. Improving testsuite driver maintainability GHC’s testsuite i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pyodide Spin Out and 0.17 Release – Mozilla Hacks - the Web developer blog
GitHub - JaidedAI/EasyOCR: Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.
爆速python-fire - Qiita
GitHub - purescript-python/purescript-python: A Python backend for PureScript.
GitHub - trailofbits/manticore: Symbolic execution tool
Pythonでもジェネレーターで関数モナドとStateモナドを模倣してみた - Qiita
https://easydb.io/
GitHub - mkai5/McGalaxy: McGalaxy allows a user to enter a constellation, and outputs the arrangement of McDonald's in the USA and Canada that most resembles that constellation in relative distance and orientation.