Ensime

$ git clone https://github.com/ensime/ensime-server.git
$ cd ensime-server
$ sbt publishLocal

メニュー

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

アクセス来歴

• FrontPage (233)
• C/C++のGUIライブラリ比較 (218)
• Apacheの同時接続スレッド数 (152)
• EntityとDto (62)
• imos法・累積和 (53)

since 2014/6/22

日別ベスト８

2023/6/8

• C/C++のGUIライブラリ比較(16)
• FrontPage(12)
• Apacheの同時接続スレッド数(9)
• Herokuでtiny_tds(5)
• ドメイン駆動設計(5)
• Ryzen 5 3600 + B550M Steel Legend(5)
• フェニック木(Binary Indexed Tree)(4)
• asdf(4)

2023/6/7

• Apacheの同時接続スレッド数(9)
• C/C++のGUIライブラリ比較(8)
• FrontPage(7)
• 蟻本リーディング(4)
• フェニック木(Binary Indexed Tree)(3)
• imos法・累積和(3)
• EntityとDto(3)
• Nagios(2)(3)

AWS

• AWSでAPIサーバ
• AWS運用メモ
• Amazon Aurora DB
• IFTTTでAWSの障害通知
• awspecをJenkinsで実行
• クラウドでできるだけ安くGPUを使用する

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

Android

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

Apache

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

Basic

• QB64
• wxBasic

C++

• C++のイディオム
• C++をデバッグ
• C/C++のGUIライブラリ比較
• CppUTest
• Emacsの設定(lsp-mode)
• GoogleTest
• cmake+wxWidgets
• 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言語メモ
• Emacsの設定(lsp-mode)

DP

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

Docker

• Distrolessを使って開発環境を構築
• 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
• Web Components と Vue.js
• jQuery

Kotlin

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

LLM

• プロンプトエンジニアリング
• 大規模言語モデル (LLM)

Linux

• /etc/fstab
• Anki
• Bison/Flex
• Centos7ネットワーク周り
• ChatGPT-in-Slack
• DebianでProxmox
• Debianパッケージ作成
• Dockerのデータ保存場所変更
• GNU Hurd
• Linuxでウィンドウ透過設定
• Linuxで指紋認証
• Linuxのカーネル設定
• Linuxサーバ設定
• Linuxデスクトップ設定
• Linuxパッケージ作成
• Nagios(1)
• Nagios(2)
• Nvidia関連
• POSIX正規表現
• PXEネットワークブートでLinuxをインストールする
• Postfixを自サーバで構築
• Raspberry Piによる自宅サーバ
• ReactOS
• ReactOSでアプリを作成する
• ReactOSのptyでプログラミング
• Recollで全文検索
• Ryzen 5 3600 + B550M Steel Legend
• StardustXR
• VPS管理
• asdf
• ipコマンドまとめ
• kube用にプロンプトの変更
• mmap
• nouveau
• nouveau起動編
• postfixでメール
• pty周りの調査
• snap
• ssh公開鍵認証設定
• systemd
• wine
• wineの設定
• プロンプトの変更
• メールサーバ(MTA)のネットワーク設定
• ラズパイ管理
• 性能関係の情報取得

Lua

• HaskellでLuaVMのbytecode生成

MS技術

• .NETとGtk#でGUIアプリ
• Azure App Service
• COFF形式ファイル
• DLLのフック
• IISとWindowsサーバ
• VBとASP.NET
• dotnet-cli
• monoでASP.Net

MongoDB

• Heroku - mLab MongoDB
• MongoDB

NodeJS

• Electron
• NodeJS
• React
• Vue+Typescript
• Web Components と Vue.js
• npm
• webpack+typescriptのプロジェクト

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
• 複数の自然言語抽出して矛盾点を導く

PyTorch

• PyTorch(PiPPy)
• PyTorchメモ
• PytorchでMNIST

Python

• ComfyUI
• Emacsの設定(lsp-mode)
• PySpark
• PyTorch(PiPPy)
• PyTorchメモ
• Python3とデザインパターン
• PytorchでMNIST
• Sparkのパフォーマンスチューニング
• gorilla
• テンソルの操作

RMQ

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

Rails

• Rails4
• Rails5
• Railsのシークレット値とかのメモ
• Railsメモ
• Redisメモ

RaspberryPi

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

ReactOS

• ReactOS
• ReactOSでアプリを作成する
• ReactOSのptyでプログラミング
• pty周りの調査

Redis

• Redisメモ

Ruby

• Hanami
• Hanami+Vue.js
• JRuby
• JRuby - OSS活動(1)
• JRuby - OSS活動(2)
• Rails4
• Rails5
• Railsのシークレット値とかのメモ
• Railsメモ
• Sinatra
• rbenv
• 辞書式順序の実装方法

Rust

• Rust環境構築

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のパフォーマンスチューニング

Typescript

• TypescriptでJavascriptのモジュールを呼び出すには
• Typescript関連メモ

Vagrant

• Vagrant
• Vagrant,Chef,Berkshelf

Vue

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

Windows

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

fswiki

• Wiki RPC Interface
• このwikiの動作環境

ruby

• wikipediaコーパスを使う

shell

• findとxargs
• シェル芸

お絵描きAI

• ComfyUI
• InvokeAI
• Sampling methodとその技術的基盤
• safetensor形式について
• お絵描きAI

アイディア

• 中間テーブルを使った洗い替えをキャッシュDBを使って行う
• 配送最適化を問題に落とし込む

アセンブラ

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

アルゴリズム

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

グラフ

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

グラフDB

• Neo4j
• Neo4jRB
• Neo4j勉強会

グラフアルゴリズム

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

コンピュータの原理

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

サーバ管理

• Linuxサーバ設定
• Postfixを自サーバで構築
• VPS管理
• ラズパイ管理

システム開発

• Copilot

セキュリティ

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

ソフトウェア開発

• CleanArchitecture
• Domain Word Modeling
• EntityとDto
• Git関連
• JIRA
• MSA(マイクロサービスアーキテクチャ)
• OSS活動履歴
• Python3とデザインパターン
• Travis CI
• X.501
• gRPC
• アジャイルサムライ
• ソフトウェア開発で必要な考え方
• ソフトウェア開発の書籍
• ソフトウェア開発手法（１）
• ドメインオブジェクト
• ドメイン駆動設計
• ドメイン駆動設計 モデリング/設計ガイド
• ヒープとスタック
• リファクタリング
• ロジカル・シンキング
• 人月の神話
• 応用情報技術者
• 思考の仕方とか「分からない」と付き合う方法
• 理解とは何か (認知科学選書 4)
• 知能とワーキングメモリについてのメモ
• 認知心理学

データベース

• 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とデザインパターン
• アジャイルサムライ
• ソフトウェア開発で必要な考え方
• ソフトウェア開発の書籍
• ドメイン駆動設計
• ドメイン駆動設計 モデリング/設計ガイド
• ロジカル・シンキング
• 人月の神話
• 思考の仕方とか「分からない」と付き合う方法
• 理解とは何か (認知科学選書 4)
• 背理のコミュニケーション
• 自由からの逃走
• 認知心理学

木構造

• 木の構築
• 木構造

東ロボ

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

検索技術

• Elasticsearch
• Elasticsearchの運用

機械学習

• Attention
• ComfyUI
• Coursera 機械学習
• Coursera 機械学習 - Week1
• Coursera 機械学習 - Week10
• Coursera 機械学習 - Week11
• Coursera 機械学習 - Week2
• Coursera 機械学習 - Week3
• Coursera 機械学習 - Week4
• Coursera 機械学習 - Week5
• Coursera 機械学習 - Week6
• Coursera 機械学習 - Week7
• Coursera 機械学習 - Week8
• Coursera 機械学習 - Week9
• Coursera 機械学習 - その後
• Diffusiom modelと数学
• InvokeAI
• LSA
• LSTM
• Octave演習
• Pointer network
• PyTorch(PiPPy)
• PyTorchメモ
• PytorchでMNIST
• RNNで文章要約
• Seq2seq
• Seq2seqの単語繰り返し問題の解決
• StableDiffusion設定メモ
• TPTP
• TensorFlow
• constrained softmax
• fast_abs_rlを試す
• sparsemax
• クラウドでできるだけ安くGPUを使用する
• テキスト要約の評価
• テンソルの操作
• 大規模言語モデル (LLM)
• 抽象型(Abstractive)要約の復号処理
• 抽象型(Abstractive)要約の機械学習モデル詳細
• 損失関数
• 東ロボmock project外部設計検討
• 東ロボの論文読み
• 機械学習
• 機械学習関連リンク
• 活性関数

法律

• システム開発と契約書
• システム開発と発注

競プロ解説

• 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 028
• AtCoder Beginner Contest 032
• AtCoder Beginner Contest 034
• AtCoder Beginner Contest 037
• AtCoder Beginner Contest 038
• AtCoder Beginner Contest 043
• AtCoder Beginner Contest 054
• AtCoder Beginner Contest 066
• AtCoder Beginner Contest 073
• AtCoder Beginner Contest 086
• AtCoder Beginner Contest 099
• AtCoder Beginner Contest 100
• AtCoder Beginner Contest 103
• AtCoder Beginner Contest 45
• SoundHound Inc. Programming Contest 2018
• WIP_AtCoder Beginer Contest 062
• 三井住友信託銀行プログラミングコンテスト2019
• 解説ページテンプレ

競技プログラミング

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

蟻本

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

設計

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

語学

• Anki
• 中国語
• 中国語/各サイト登録
• 中国語の漫画とかアニメとか色々
• 非人哉

調べもの

• Boinc
• Kritaの使い方
• Laravel学習
• WW2の歩兵小隊の話
• タロット占い
• ツイ消し
• ニーチェとトロツキー
• ネイピアの骨・計算尺
• ロト6
• ワークフロー（DAG）
• 一人あたりGDP
• 作曲するには
• 感染症の検査と確率
• 政治研究
• 東ロボくんの話題
• 経済研究
• 自由からの逃走

論文読みメモ

• Attention
• Diffusiom modelと数学
• Pointer network
• Seq2seqの単語繰り返し問題の解決
• fast_abs_rlを試す
• テキスト要約の評価
• ニーチェとトロツキー
• 宇宙際タイヒミュラー理論(IUTeich)
• 抽象型(Abstractive)要約の復号処理
• 抽象型(Abstractive)要約の機械学習モデル詳細
• 東ロボの論文時系列まとめ

関数型プログラミング

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

音楽

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