競プロ数学

メニュー

• トップ
• このwikiの動作環境

アクセス来歴

• C/C++のGUIライブラリ比較 (654)
• FrontPage (442)
• 宇宙際タイヒミュラー理論(IUTeich) (369)
• Apacheの同時接続スレッド数 (315)
• wxWidgets (248)

since 2014/6/22

日別ベスト８

2022/5/23

• C/C++のGUIライブラリ比較(9)
• FrontPage(5)
• ReactOSでアプリを作成する(5)
• LSTM(3)
• プリム法(3)
• Emacsの設定（Windows）(3)
• Apacheの同時接続スレッド数(3)
• 動的計画法 - コイン問題(3)

2022/5/22

• FrontPage(44)
• ReactOSでアプリを作成する(30)
• C/C++のGUIライブラリ比較(13)
• ReactOS(7)
• Pointer network(6)
• EntityとDto(6)
• ドメイン駆動設計(4)
• JettyとロードバランサーでSSL終端(4)

AWS

• AWSでAPIサーバ
• AWS運用メモ
• Amazon Aurora DB
• IFTTTでAWSの障害通知
• awspecをJenkinsで実行

AWSソリューションアーキテクト

Android

• Android
• AndroidとGoogleMap API
• Androidのライフサイクル
• Android基礎知識

Apache

• Apacheの同時接続スレッド数

C++

• C++のイディオム
• C++をデバッグ
• C/C++のGUIライブラリ比較
• Cpputest
• wxWidgets
• wxWidgetsで簡単なHttpClientを作る

CI/CD

• Ansible
• Terraform
• Vagrant,Chef,Berkshelf
• knife-zero

Clojure

• ClojureとLeiningen
• ClojureとREPL
• Clojureの文法
• Clojure入門
• HtmlTemplate
• パーサコンビネータライブラリfnparse/instaparse

D

• C++からDへの移植
• D言語で競技プログラミング
• D言語の学習
• D言語メモ

DP

• Algebraic Dynamic Programming online course
• GeeksforGeeks(K回文を見つける-1)
• GeeksforGeeks(K回文を見つける-2)
• GeeksforGeeks(最大正方形)
• メモ化再帰
• 動的計画法
• 動的計画法 - コイン問題
• 動的計画法 - ナップサック問題
• 動的計画法 - 確率
• 動的計画法 - 組み合わせ
• 動的計画法(bit DP)
• 動的計画法のここがわからない
• 動的計画法問題思考フロー
• 動的計画法（桁ＤＰ）
• 最長共通部分列問題
• 漸化式を立てる練習（１）
• 漸化式を立てる練習（２）

Docker

• Docker
• Dockerのイメージ探し
• Dockerのデータ保存場所変更
• Dockerのトラブルシュート
• Dockerを使って開発環境を構築
• Kubernetes関連

ETL

• DWHについての業界のドメイン的な知識
• ETLのためにHadoopのシステム構成を考える
• ETLツール
• Hadoop
• Hadoop with ETL
• Hadoop with S3

Emacs

• AtomをEmacsキーバインドで使う
• C++をデバッグ
• Emacs gdbまわり
• Emacsの設定
• Emacsの設定(lsp-mode)
• Emacsの設定（Windows）
• magit操作
• ショートカットキー関連

FX

• システムトレード
• 銀行口座

GeeksforGeeks

• GeeksforGeeks
• GeeksforGeeks(K回文を見つける-1)
• GeeksforGeeks(K回文を見つける-2)
• GeeksforGeeks(括弧の整合性チェック)
• GeeksforGeeks(最大正方形)
• GeeksforGeeks(重み付き無向グラフ)
• フェニック木(Binary Indexed Tree)
• 最小共通祖先

Go

• Goのデバッグ環境
• Goのユニットテスト
• Goの参照とかコピーとか
• Goの環境構築
• Go言語でPEG
• Go言語でつくるインタプリタ
• Go言語でパッケージ作成

Google

• GoogleMap API

Hadoop

• Apache Pig
• DWHについての業界のドメイン的な知識
• ETLのためにHadoopのシステム構成を考える
• Hadoop
• Hadoop with ETL
• Hadoop with S3
• Hive
• Hortonworksのハンズオンセミナー
• Oozie

Hanami

• Hanami
• Hanami+Vue.js
• JRuby

Haskell

• Cabal
• Haskell+nixpkg
• HaskellでLuaVMのbytecode生成
• Haskellの文法覚え書き
• Stack

IUT

• スピロ予想
• 代数多様体
• 円分物・円分体
• 宇宙際タイヒミュラー理論(IUTeich)
• 抽象代数学
• 遠アーベル幾何学

Java

• Gradle
• Javaによるソフトウェアの性能測定
• Javaの参照とかコピーとか
• Javaの実行オプション
• Jetty
• JettyとロードバランサーでSSL終端
• MyBatis
• Selenium
• Spring
• Spring Session
• Spring4+CAS3
• SpringSession
• Thymeleaf
• gradle
• jadでデコンパイル
• maven
• mavenでHelloWorld
• myMavenRepo
• 複数サーバでのSession共有

Javascript

• Electron
• NodeJS
• Promiseとかasync/await
• TypescriptでJavascriptのモジュールを呼び出すには
• Typescript関連メモ
• Vue+Typescript
• jQuery

Kotlin

• Kotlinの文法で気になったものをまとめる

Linux

• /etc/fstab
• Bison/Flex
• Centos7ネットワーク周り
• Debianパッケージ作成
• Dockerのデータ保存場所変更
• GNU Hurd
• Let's Encrypt更新メモ
• Linuxの設定
• Linuxサーバ設定
• Linuxデスクトップ設定
• Linuxパッケージ作成
• Nagios(1)
• Nagios(2)
• POSIX正規表現
• PXEネットワークブートでLinuxをインストールする
• Raspberry Piによる自宅サーバ
• ReactOS
• ReactOSでアプリを作成する
• Ryzen 5 3600 + B550M Steel Legend
• ipコマンドまとめ
• mmap
• nouveau
• nouveau起動編
• ssh公開鍵認証設定
• systemd
• wine
• wineの設定
• プロンプトの変更
• ラズパイ管理
• 性能関係の情報取得

Lua

• HaskellでLuaVMのbytecode生成

MS技術

• Azure App Service
• COFF形式ファイル
• DLLのフック
• IISとWindowsサーバ
• monoでASP.Net

MongoDB

• Heroku - mLab MongoDB
• MongoDB

OS

• OSの作成

OpenGL

• LWJGL
• OpenGL
• OpenGL関連
• PMDの読み込みとか
• PMXの読み込みとか
• PMXエディタ導入
• Xmesh
• ruby-opengl

Paas

• Heroku
• Heroku - mLab MongoDB
• Herokuでtiny_tds

Perl

• Heroku化計画
• Perl6
• Perlのアプリサーバ起動管理
• Perlの覚え書き
• このwikiの動作環境

Prolog

• Prolog入門
• TPTP
• 複数の自然言語抽出して矛盾点を導く

Python

• PySpark
• Python3とデザインパターン
• PytorchでMNIST
• Sparkのパフォーマンスチューニング
• テンソルの操作

RMQ

• フェニック木(Binary Indexed Tree)

RaspberryPi

• Raspberry Piによる自宅サーバ
• ラズパイ管理

ReactOS

• ReactOS
• ReactOSでアプリを作成する

Ruby

• Hanami
• Hanami+Vue.js
• JRuby
• JRuby - OSS活動(1)
• JRuby - OSS活動(2)
• Rails4
• Rails5
• Sinatra
• rbenv
• 辞書式順序の実装方法

SQL

• ArangoDB
• GraphQL
• HackerRank(SQL)
• Neo4j
• Neo4jRB
• SQL
• SQLiteのvfs
• SQLにおける課題と展望
• SQLの問題

SSL

• Let's EncryptとTorプロトコルとドメイン
• OpenSSLのコマンド
• 公開鍵証明書発行のオープン化
• 認証局 (CA)

Salesforce

• Salesforce
• SalesforceをAPIサーバにする

Scala

• Ensime
• Scalatra
• Scalaで使われる省略表現・記号
• Scalaの便利な機能
• Spark
• sbt
• scala-refactoring
• 関数型Scala

Spark

• PySpark
• Spark
• Sparkのパフォーマンスチューニング

Vagrant

• Vagrant
• Vagrant,Chef,Berkshelf

Vue

• Hanami+Vue.js
• Web Components と Vue.js

Windows

• Azure関連
• MinGW
• msys2でruby-2.4
• ショートカットキー関連
• プログラマーのためのExcel

ruby

• wikipediaコーパスを使う

shell

• findとxargs
• シェル芸

アイディア

• 配送最適化を問題に落とし込む

アセンブラ

• GAS入門
• IA32（x86）汎用命令対応のアセンブラ実装方法（１）
• IA32（x86）汎用命令対応のアセンブラ実装方法（２）
• アセンブラ(ModR/M)
• アセンブラ入門
• アセンブラ実装
• アセンブラ（システムコール）

アルゴリズム

• AOJ本
• Coursera Algorithm - Week1
• Coursera Algorithm - Week2
• GeeksforGeeks
• GeeksforGeeks(括弧の整合性チェック)
• GeeksforGeeks(重み付き無向グラフ)
• Jeff Erickson's Algorithms, Etc.
• Union-Find木
• imos法・累積和
• アルゴリズム情報収集
• エラトステネスのふるい
• カタラン数
• グラフアルゴリズム
• グラフアルゴリズム - 幅優先探索
• グラフアルゴリズム - 深さ優先探索
• グレブナー基底
• スタック・キュー
• ダイクストラ法
• ダブリング
• フェニック木(Binary Indexed Tree)
• フロイドの循環検出法
• プリム法
• プロジェクト・オイラー
• ベルマン–フォード法
• メモ化再帰
• ワークフロー（DAG）
• ワーシャルフロイド法
• 二分探索
• 二次元累積和
• 二進展開（ＭＳＢ/ＬＳＢ）
• 優先度つきキュー
• 全探索
• 動的計画法
• 動的計画法 - コイン問題
• 動的計画法 - ナップサック問題
• 動的計画法 - 確率
• 動的計画法 - 組み合わせ
• 動的計画法(bit DP)
• 動的計画法のここがわからない
• 動的計画法問題思考フロー
• 動的計画法（桁ＤＰ）
• 包除定理
• 半分全列挙
• 回文検出
• 数え上げ問題
• 数論
• 最小共通祖先
• 最長共通部分列問題
• 最長増加部分列
• 期待値の線形性
• 木の構築
• 木構造
• 木構造(実践問題)
• 漸化式を立てる練習（１）
• 漸化式を立てる練習（２）
• 確率・期待値
• 競プロ数学
• 競技プログラミングのコード高速化
• 競技プログラミングの履歴
• 競技プログラミング指針
• 素数の試し割り
• 繰り返し２乗法
• 蟻本
• 蟻本リーディング
• 行列計算
• 評価関数をもつ二分探索
• 貪欲法
• 階乗のmod逆元 - 組み合わせ
• 集合の整数表現
• 離散数学
• 順列・組み合わせ
• 順列・組み合わせ（業務レベル）

グラフ

• GeeksforGeeks(重み付き無向グラフ)
• 最小共通祖先

グラフDB

• Neo4j
• Neo4jRB
• Neo4j勉強会

グラフアルゴリズム

• グラフアルゴリズム
• グラフアルゴリズム - 幅優先探索
• グラフアルゴリズム - 深さ優先探索
• ダイクストラ法
• プリム法
• ベルマン–フォード法
• ワーシャルフロイド法

コンピュータの原理

• アラン・チューリング
• 量子コンピュータ

セキュリティ

• CSRF対策
• JWT
• SAML+AWS(KMS)

ソフトウェア開発

• CleanArchitecture
• Domain Word Modeling
• EntityとDto
• Git関連
• JIRA
• MSA(マイクロサービスアーキテクチャ)
• OSS活動履歴
• Python3とデザインパターン
• Travis CI
• X.501
• gRPC
• アジャイルサムライ
• ソフトウェア開発で必要な考え方
• ソフトウェア開発の書籍
• ソフトウェア開発手法（１）
• ドメインオブジェクト
• ドメイン駆動設計
• ドメイン駆動設計 モデリング/設計ガイド
• ヒープとスタック
• リファクタリング
• ロジカル・シンキング
• 人月の神話
• 応用情報技術者

データベース

• DBAのお仕事について
• DBのインデックスを確認する
• MySQLとトランザクション周り
• MySQL設定周り
• アニメデータベース
• テーブルの正規化
• データベース自動テスト
• 階層化されたデータをRDBで扱う

プログラミング

• PMDの読み込みとか
• PMXの読み込みとか
• Xmesh
• パラメーター多相
• プログラミングに役立つリンク集
• プログラミング言語にありがちな用語

プログラミング言語作成

• BNF
• 構文解析

プロジェクト・オイラー

• プロジェクト・オイラー
• プロジェクト・オイラー(001-005)
• プロジェクト・オイラー(006-010)
• プロジェクト・オイラー(011-015)
• プロジェクト・オイラー(016-020)
• プロジェクト・オイラー(021-025)
• プロジェクト・オイラー(026-030)
• プロジェクト・オイラー(031-035)
• プロジェクト・オイラー(036-040)
• プロジェクト・オイラー(041-045)
• プロジェクト・オイラー(046-050)
• プロジェクト・オイラー(051-055)
• プロジェクト・オイラー(056-060)
• プロジェクト・オイラー(061-065)
• プロジェクト・オイラー(066-070)
• プロジェクト・オイラー(071-075)
• プロジェクト・オイラー(076-080)
• プロジェクト・オイラー(081-085)
• プロジェクト・オイラー(086-090)
• プロジェクト・オイラー(091-095)
• プロジェクト・オイラー(096-100)

マイナー言語

• clover2
• 文鳥言語

事業ネタ

形式検証

• Z言語
• 形式仕様言語

政治

• ナショナリズム
• 政治研究

数学

• Attention
• BNF
• LSA
• LSTM
• Math_Related
• Pointer network
• SMT
• TPTP
• Z言語
• constrained softmax
• sparsemax
• スピロ予想
• テンソルの操作
• プロジェクト・オイラー
• 一階述語論理
• 二進展開（ＭＳＢ/ＬＳＢ）
• 代数多様体
• 入門数理統計学
• 公理的集合論
• 円分物・円分体
• 宇宙際タイヒミュラー理論(IUTeich)
• 形式仕様言語
• 抽象代数学
• 損失関数
• 操車場アルゴリズムと逆ポーランド記法
• 数学
• 数学ネタ
• 数学資料
• 数学雑記1
• 東ロボmock project外部設計検討
• 東ロボの論文時系列まとめ
• 東ロボの論文時系列まとめについてメモ
• 東ロボの論文読み
• 正規表現の括弧とポンプの補題
• 活性関数
• 辞書式順序の実装方法
• 遠アーベル幾何学
• 限量記号消去法(QE)
• 離散数学

数論

• 数論

文章要約

• Attention
• Pointer network
• テキスト要約の評価
• 抽象型(Abstractive)要約の復号処理
• 抽象型(Abstractive)要約の機械学習モデル詳細

書籍

• CleanArchitecture
• Go言語でつくるインタプリタ
• Python3とデザインパターン
• アジャイルサムライ
• ソフトウェア開発で必要な考え方
• ソフトウェア開発の書籍
• ドメイン駆動設計
• ドメイン駆動設計 モデリング/設計ガイド
• ロジカル・シンキング
• 人月の神話
• 自由からの逃走

木構造

• 木の構築
• 木構造

東ロボ

• TPTP
• 東ロボmock project外部設計検討
• 東ロボくんの話題
• 東ロボの論文時系列まとめ
• 東ロボの論文時系列まとめについてメモ
• 東ロボの論文読み

検索技術

• Elasticsearch
• Elasticsearchの運用

機械学習

• Attention
• Coursera 機械学習
• Coursera 機械学習 - Week1
• Coursera 機械学習 - Week10
• Coursera 機械学習 - Week11
• Coursera 機械学習 - Week2
• Coursera 機械学習 - Week3
• Coursera 機械学習 - Week4
• Coursera 機械学習 - Week5
• Coursera 機械学習 - Week6
• Coursera 機械学習 - Week7
• Coursera 機械学習 - Week8
• Coursera 機械学習 - Week9
• Coursera 機械学習 - その後
• LSA
• LSTM
• Octave演習
• Pointer network
• PytorchでMNIST
• RNNで文章要約
• Seq2seq
• Seq2seqの単語繰り返し問題の解決
• TPTP
• TensorFlow
• constrained softmax
• fast_abs_rlを試す
• sparsemax
• テキスト要約の評価
• テンソルの操作
• 抽象型(Abstractive)要約の復号処理
• 抽象型(Abstractive)要約の機械学習モデル詳細
• 損失関数
• 東ロボmock project外部設計検討
• 東ロボの論文読み
• 機械学習
• 機械学習関連リンク
• 活性関数

競プロ解説

• AtCoder Beginer Contest 062
• AtCoder Beginer Contest 096
• AtCoder Beginer Contest 110
• AtCoder Beginer Contest 143
• AtCoder Beginer Contest 200
• AtCoder Beginner Contest 004
• AtCoder Beginner Contest 005
• AtCoder Beginner Contest 009
• AtCoder Beginner Contest 011
• AtCoder Beginner Contest 014
• AtCoder Beginner Contest 015
• AtCoder Beginner Contest 032
• AtCoder Beginner Contest 034
• AtCoder Beginner Contest 037
• AtCoder Beginner Contest 038
• AtCoder Beginner Contest 054
• AtCoder Beginner Contest 066
• AtCoder Beginner Contest 073
• AtCoder Beginner Contest 086
• AtCoder Beginner Contest 099
• AtCoder Beginner Contest 103
• AtCoder Beginner Contest 45
• SoundHound Inc. Programming Contest 2018
• 三井住友信託銀行プログラミングコンテスト2019
• 解説ページテンプレ

競技プログラミング

• AtCoder Beginer Contest 062
• AtCoder Beginer Contest 096
• AtCoder Beginer Contest 110
• AtCoder Beginer Contest 143
• AtCoder Beginer Contest 200
• AtCoder Beginner Contest 004
• AtCoder Beginner Contest 005
• AtCoder Beginner Contest 009
• AtCoder Beginner Contest 011
• AtCoder Beginner Contest 014
• AtCoder Beginner Contest 015
• AtCoder Beginner Contest 032
• AtCoder Beginner Contest 034
• AtCoder Beginner Contest 037
• AtCoder Beginner Contest 038
• AtCoder Beginner Contest 054
• AtCoder Beginner Contest 066
• AtCoder Beginner Contest 073
• AtCoder Beginner Contest 086
• AtCoder Beginner Contest 099
• AtCoder Beginner Contest 103
• AtCoder Beginner Contest 45
• D言語で競技プログラミング
• HackerRank(SQL)
• Jeff Erickson's Algorithms, Etc.
• SoundHound Inc. Programming Contest 2018
• プロジェクト・オイラー
• 三井住友信託銀行プログラミングコンテスト2019
• 確率・期待値
• 競プロ数学
• 競技プログラミングのコード高速化
• 競技プログラミングの履歴
• 競技プログラミングコンテストいろいろ
• 競技プログラミング指針
• 解説ページテンプレ
• 離散数学

蟻本

• 蟻本
• 蟻本 - グラフ
• 蟻本 - データ構造
• 蟻本 - 全探索
• 蟻本 - 動的計画法
• 蟻本 - 数学
• 蟻本 - 貪欲法
• 蟻本リーディング

設計

• CleanArchitecture
• Domain Word Modeling
• Python3とデザインパターン
• ドメイン駆動設計
• ドメイン駆動設計 モデリング/設計ガイド

語学

• 中国語
• 中国語/各サイト登録

調べもの

• Boinc
• Laravel学習
• WW2の歩兵小隊の話
• システム開発と発注
• タロット占い
• ニーチェとトロツキー
• ロト6
• ワークフロー（DAG）
• 一人あたりGDP
• 作曲するには
• 感染症の検査と確率
• 政治研究
• 東ロボくんの話題
• 経済研究
• 自由からの逃走

関数型プログラミング

• パラメーター多相
• 簡約!λカ娘
• 関数型Java
• 関数型プログラミング

音楽

• LinuxSamplerのビルドメモ
• LinuxでDTM
• LinuxでDTM(REAPER)
• LinuxでDTM(REAPER)/チュートリアル動画
• LinuxでDTM(REAPER)/初期設定
• LinuxでDTM(REAPER)/音源追加
• LinuxでDTM(REAPER)/音源追加/ギター
• LinuxでDTM(REAPER)/音源追加/ドラム
• LinuxでDTM(Waveform)