Graviness Blog

Pyinstallerで生成したexeファイルがZscalerでウィルス誤検出される問題の解消方法

Windows版Python環境のPuinstallerで生成したexeファイルが、会社インフラのアンチウィルスソフトZscalerでトロイの木馬等のウィルスとして誤検出される問題が発生しました。調べてみると様々な環境のPyinstalle

2024/01/11 21:36

IEC 61131-3テキスト → IEC 61131-10 XML変換ソフトウェア Jiecc

IEC 61131-3テキストをIEC 61131-10 XMLに変換するソフトウェア Jieccをリリースしました。「Jieccのダウンロードと実行方法」からソフトウェアをダウンロードできます。Jieccの詳しい情報は、上記ページを参照く

2023/09/17 15:11

等しいとき1、等しくないとき0を得る数式

2つの数x, yが等しいとき1、等しくないとき0を得る数学的な関数\( eq \left( x, y \right) \)を検討します。プログラムではないです。ChatGPTとも議論しつつ私は次の答え

2023/04/06 19:14

備忘録

備忘録JavaScript平均値や合計値等にFloat64Arrayを使用したが、通常のArrayと比較して、高速化したという有意なデータは得られなかった。（MS Edge）Math.logをconst log = Math.log;などと

2023/04/04 22:03

フォルダの右クリックメニューに「minttyで開く」を追加する

Windowsフォルダの右クリックメニューからminttyを起動できるようにします。mintty起動時のカレントディレクトリは、そのフォルダです。方法は、以下のテキストをコピーして、open_with_mintty.regなど、拡張子reg

2023/03/08 20:44

Windowsにて高速にファイルをバックアップするコマンド

Windowsにてファイルをバックアップ（完全同期）するコマンドです。Windowsサーバーを含むWindowsの範囲では高速です。robocopy <同期元フォルダ> <同期先フォルダ> /mir /b /z /r

2022/11/24 22:45

ロリポップサーバーでのSSH接続と自動ログイン方法

ロリポップサーバーでのSSH接続と自動ログインを、本記事に示す一連のコマンドで一気に実現します。前提として、スタンダードプラン以上でSSHを有効にしてください。Cygwin、WSLなどを使用します。# ローカル側での作業です。mkdir -

2022/11/20 10:33

Google Code-Prettify for IEC 61131-3

FA（Factory Automatin）のプログラミング言語の国際規格であるIEC 61131-3のGoogle Code-Prettifyのソースコードです。IEC 61131-3のソースコードを読みやすく色分け表示します。ソースコード

2022/11/17 23:35

IEC 61131-3 ST言語

FA（Factory Automatin）のプログラミング言語であるIEC 61131-3 ST言語のページを作成しました。IEC 61131-3 ST言語についての詳しい情報を記載していきます。IEC 61131-3の普及に少しでもお役に

2022/10/02 18:20

Youtubeの高く評価した動画を一括自動削除する方法

先日、私のYoutubeの「高く評価した動画」がリアルタイムで増えていく現象に遭遇しました😨。現象に気づく以前にも増え続けていたようで、身に覚えない海外の「高く評価した動画」が5000件以上登録されていました。アカウント乗っ

2022/09/04 14:29

[Python] XML要素の行番号を付加・取得する ( xml.etree.ElementTree を使用)

Python の xml.etree.ElementTree にて、XML要素の行番号を付加するプログラムです。パース後、各XML要素から行番号を取得できます。line_numbering_xml_parser.pyimport sys#

2022/06/04 19:27

Easy statistics 〜すぐに使えるデータの可視化・分析ツール〜

Easy statisticsはすぐに使えるデータの可視化・分析ツールです。データの箱ひげ図、散布図、ヒストグラム、主要な統計量、回帰分析結果、およびt検定などの各種検定結果をまとめて表示します。使い方は、データを入力して、[Generat

2021/07/27 17:36

文字実体参照変換のJavaScript実装

文字実体参照変換のJavaScript実装です。/** * Encode Character Entity References. * * e.g. * encodeCER('<a>') --> '&#x3C;

2021/05/30 23:46

住宅ローン借り入れにおいて頭金にするか投資するか

※本記事は、数学は好きですが算数とお金の計算は苦手な著者（優乃）が道楽で書いています。作成には慎重を期しておりますが演算結果を保証するものではありません。特に、結果は本記事のパラメータにより大きく変わります。住宅ローンを組むときに、手持ち資

2021/04/25 22:21

書籍: 数値データ適合分布 一般化ラムダ分布の利用

書籍「数値データ適合分布 一般化ラムダ分布の利用」を読みました。ざっくり言うと「未知の数値データ群を近似する確率密度関数が求めたいケースなどにおいて、様々な形（確率密度関数の形状）を表現できる一般化ラムダ関数をおすすめする。そして、一般化ラ

2021/04/04 22:09

パスワード用のランダムな文字列を表示するWebツール - Random String for Password

パスワード用ランダム文字列（Random String for Password）更新するたびにランダムな文字列を表示するWebツールです。パスワードや暗証番号など用途に合わせて、任意の長さの文字列部分を選択して使用してください。表示されて

2021/02/07 22:14

個人WebサイトのGoogle AdSense審査に合格した私の方法

Google AdSenseの審査について検索すると個人Blogの対策方法は載っていますが、個人Webサイトの対策方法はあまり見かけませんでした。私の個人Webサイトのgraviness.comについて、再審査で合格したのでその記録を記載し

2021/01/16 18:00

微分方程式 f'(x) = f(x+1) を解く話

表題の「微分方程式 」は超超基礎的な「微分方程式 」の一箇所だけを変えた方程式です。もちろん の解は、 です。表題の式もこのノリで解いてみましょう。 と表記すると表題の式はと表記でき、ここで とおくと合成関数の微分より なのでんっ？！

2020/09/20 10:44

Webブラウザ互換性向上をサポートするpolyfill.io

https://polyfill.io/は、あるWebブラウザが未実装の規格関数の実装を提供する。Web作成者側で、あるWebブラウザが未サポートの関数があるために互換性が損なわれるのであれば、例えば、Internet ExplorerはA

2020/07/28 23:48

cygwin+gitでWinMergeを使う

cygwin + gitで差分をWinMergeで確認できるようにするには.gitconfigファイルに次を追加する。[diff] tool = windiff[difftool

2020/07/22 18:34

数式でみるドル・コスト平均法

ドル・コスト平均法は投資手法の一つです。毎月一定額の株（株券）を購入するため、単に定額購入法とも言います。iDeCoやつみたてNISAの運用においても定番の手法ですので、用語を知らないだけで実践はしているといった方も多いと思います。本記事で

2020/03/15 16:23

a_(n+2)=f(n) a_(n+1)+g(n) a_(n) の一般項

初項をとし、およびを既知の値とする漸化式 の一般項を導出？します。導出する一般項の表示は連分数の積を含んでおり、全く実用的でないことを最初に断っておきます。結論の式は本記事の中段あたりの枠内に示します。後段には、念の為の証明を示します。一

2019/08/15 00:47

確率密度関数f(x)=2xに従う確率変数の和と平均の確率密度関数の導出

興味のある分野等で統計学を活用してみると分かりますが、バシッと合うパターンが記載されていることは稀で、すぐに応用するための知識が必要になります。大学講義でも使用されるような書籍は濃過ぎだし、実用的か？というと非効率です。「プログラミングのた

2019/04/30 19:07

母比率の推定に必要なサンプルサイズの関係式を導出する

統計学で成り立つ関係式や論法は、深く理解せずに引用すると間違った使い方をすることがままあります。視聴率や当たり外れの確率などを調査するための適切なサンプルサイズを知りたくて調べ始めたのですが、なぜそういう関係式が成り立つのか私には説明がしっ

2019/04/28 16:53

点の重なりを考慮した最適な点のサイズの導出

データを散布図等で表示するとき、データ数が多くて画面が点で塗り潰れてしまう経験はないでしょうか。下図は10000個のデータを散布図で表示した例です。下図（左）は中央の帯の部分が点で塗り潰れています。描画領域を大きくするか、下図（右）のように

2018/08/15 00:31

Smirnov-Grubbs検定を用いる外れ値除去のPython実装

スミルノフ−グラブス検定を用いる外れ値除去のPython（NumPy/SciPy使用）の実装です。下記smirnov_grubbs関数にサンプルデータと有意水準α（両側100α％）を入力すると、外れ値を除去したサンプルデータと、抽出した外れ

2018/05/05 14:16

Brunner-Munzel検定のPython実装

Brunner-Munzel検定のPython（NumPy/SciPy使用）の実装です。下記bmtest関数に2群のデータを入力すると、検定統計量W、p値（両側）、自由度、および帰無仮説で示される確率の推定値を出力します。片側検定にする場合

2018/04/15 16:47

d/dx(x↑↑n): 高さが定数のテトレーションの微分

過去の記事「d/dx(x↑↑n): 高さが定数のテトレーションの微分 - 数学的帰納法を用いる方法」について、高さが定数のテトレーションの導関数を数学的帰納法を用いずに求めます。表記として、nx := x↑&u

2017/01/04 16:19

【誰か解いて】漸化式 a_(n+1) = f(n) * a_n ^ g(n) + h(n) の一般項

過去の二つの記事の漸化式を包含する a_(n+1) = f(n) * a_n ^ g(n) + h(n) の形式の一般項を求めたいです。* 漸化式 a_(n+1) = f(n) * a_n + g(n) の一般項* 漸化式 a_(n+1)

2017/01/04 14:11

漸化式 a_(n+1) = f(n) * a_n ^ g(n) の一般項

あけましておめでとうございます。京都⇔宮崎の実家の移動中の数学の成果wを記事にします。 結論から記載すると、漸化式a_(n+1) = f(n) * a_n ^ g(n)の一般項がa_n = {a_1^Π[

2017/01/04 13:34

階差数列から元の数列の一般項を求める問題では、n=1の場合分けが必要になることについて

高校数学で出題される次のような問題。 初項a1 = 1から始まる次の数列の一般項anを求めよ。1, 2, 4, 7, 11, 16, 22, 29, 37 これを解く過程で場合分けが登場する。 各項の差をとると

2016/11/20 15:12

漸化式 a_(n+1) = f(n) * a_n + g(n) の一般項

漸化式の一般項を求める。ツマラナイ答えを除外するため、を条件とする。 

2016/11/03 17:31

d/dx(x↑↑n): 高さが定数のテトレーションの微分 - 数学的帰納法を用いる方法

本記事では高さが定数nのテトレーションの微分 d/dx(x↑↑n) を証明付きで示します。表記として、nx := x↑↑n を用います。

2015/07/13 01:50

Σ[k=1,n]floor(log_a(k)), a∈N

記事「人間が一生かけて数えることができる数はいくつまで？」で曖昧にしていた Σ[k=1,n]floor(log(k)) の展開式の新たな証明です（floor: 床関数）。当該記事の結果を変えるものではありません。本記事では一

2015/03/15 20:45

「隣合う素数の差が7千万未満である素数は無限に存在する」らしい

※この記事は、数学に興味がある人を対象としています。「隣合う素数の差が7千万未満の素数は無限に存在する」ことを証明した論文が公表されたようです。数学感性を持っている人は「なぜ"7000万"なのか」と考えます。次に考えるの

2015/01/05 21:21

思いつくままにフワッとした話

いくつか話題区切ります。JUGEMテーマ：日記・一般

2014/11/10 23:24

【未解決】複素数平面上の二点の時間線形の直線の方程式

未解決表題が意図を反映してるかどうか分からないけどw、目的は、 プロジェクトの進捗のグラフは、横軸を時間軸、縦軸を仕事量で表すことがある。プロジェクトの始点を(0, 仕事量)として、終点は(期日までの時間、0) となり、この2点を

2014/03/17 23:25

科学の天才一覧

紀元前含め歴代の天才科学者を興味深い逸話を添えて記載していきます。数学教師や物理教師が参考にしてもらえると喜びます。※気軽にうろ覚えで記載する内容もあり、明らかな間違いは指摘ください。* ラマヌジャン: 数学者, 1887/12/22 -

2014/03/11 22:05

log(x) / x = const. の一般解は存在しない？

x に関する方程式 logx / x = const.が初等関数の範囲では解けないことをはっきりさせたいだけです。適当なエビデンスがあれば証明は求めません。といいいますのも、記事「ab > ba となる a と b の条件を

2014/02/26 19:11

半径rの円に内接する正n角形の周の長さを求めよ

タイトル通り。任意のnは難しいかも。nが大きいとき周の長さが2Πrに近づくことを確かめたいだけなのでw、次の問題でも良いです。 「半径rの円に内接する正n角形があり周の長さの一つを f(n) とするとき、limn->&

2014/02/24 08:03

a^b > b^a となる a と b の条件を求めよ

5 を 3回掛けるよりも、3 を 5回掛けるほうが大きい5 × 5 × 5 = 1253 × 3 × 3 × 3 × 3 = 24311 を 3回掛けるよりも、3 を

2014/02/22 21:00

【未解決】高さが変数のテトレーションの微分

未解決。テトレーションとは、超累乗（超べき乗）のことであって、演算子↑↑を使用します。例えば、2↑↑5＝2^2^2^2^2＝2^65536（2を65536回掛けた数）です。本記事の目的は、y(x)=a

2014/02/15 14:10

【未解決】トイレットペーパーの方程式

トイレで、とある人がボーっと考えたらしい。「トイレットペーパーって使えば使うほど小さくなるんだよなぁ。」次を求めてみたい。* 使った長さと半径の関係* 半径と使った長さの関係（↑の逆）上記が定式化できれば以下も大体分かるはず。Si

2013/11/25 20:23

【未解決】サイコロを1つ振って、3以上の数字が出る確率はいくら？

とあるコミュニティで、http://pbs.twimg.com/media/BVoDig2CAAAZPel.jpg がありました。考えると答えは3分の2になりますが、この画像にはありませんwわたしは出題者の出生や生い立ちについて真面目に考え

2013/11/22 21:05

【未解決】新しい演算子を創る

「新しい演算子を創る」ってなんやねん、でしょうね。演算子 ＋ や × は、別に最初からあったわけではありません。一文字で表現できるし便利だから、人間が創ったわけです。演算子は、別に計算だけに用いられるとは限りません。プログラミングの世界では

2012/11/19 21:42

参考: 世界史を大学生が教える動画

以下のリンクは、世界史であって、古代から中世の入り口までを講義する動画（20個）です。一貫して、概要に留めていますので、学生以外の大人にとっても参考になります。この方の凄いところは、私が記憶する限り一度も

2011/11/16 21:52

参考: 変な人が教える数学?

Youtube で「高校数学I」（他に�、�、A、B、Cがある）を大学生？大学院生？が先生となって、講義してる動画があったので紹介。私はとくに、変な人とは思いませんw 学生の時間的な制約（でしょうか）により、多少荒っぽく説明されているところ

2011/11/13 21:35

アッカーマン関数（証明編）

アッカーマン関数は、非負整数とに対し、次のように定義される関数です。・・・(A)本記事では、多重矢印演算子（タワー表記）を使えば、(A) は、次のように表示できることを証明します。（前回の記事の内容については、数学的帰納法で証明しなおします

2011/10/23 05:44

アッカーマン関数（模索編）

アッカーマン関数は、非負整数とに対し、次のように定義される関数です。・・・2回の記事に分けて、多重矢印演算子（タワー表記）を使えば、次のように表現できることを証明します。・・・以降では、証明までの道のりを記しますが、証明する気なんてさらさら

2011/10/23 05:20

6＋5×3 の答えは？

6＋5×3 の答えは、21です。これを33と答える人も多いのだそうです。＋と×では、×を優先することを知らない、もしくは忘れてしまっているのでしょう。「21に決まってるだろ、33なんて答えるのは、ゆとりだゆとり」なんて発言もありますが、果た

2011/10/22 11:06

新聞紙を折ったときの厚さ

いきなりですが、新聞紙を37回 折ると、その厚さが地球の直径を超えます。たったの37回です。この記事では新聞紙を折っていくとその厚さが何を超えていくのかを明らかにします。最終的に宇宙の大きさを超えるところまで記載します。

2011/07/20 00:12

階乗の値が宇宙を崩壊させるとき

業務中、アルゴリズムを考えていた同僚との次の会話から始まります。同僚「2048の階乗の値って何ですっけ？」私「・・・・・・・・・いや、無理だろ。宇宙が崩壊するんじゃ？w」同僚「ですよね〜w」実際には質問が勘違いで1から2048までの総和のこ

2011/02/12 09:08

ロープを引き上げる方程式

地球上にロープを一周させたあと、地球の半径が1メートル大きくなっても、ロープは、予想に反して、6メートル（2πメートル）しか伸びない。つまり、ロープの長さの変化は、元の大きさに依存せず、空き缶でも太陽でも一定である。これを考えていた大学時代

2011/01/10 02:24

積分: 1 / (1 - a^2(cos(x))^2)

ただし、とする。

2011/01/09 03:42

腹囲と腹の厚み

明けましておめでとうございます。優乃です。突然ですが、去年の健康診断で、一昨年と比べて腹囲が、6センチも増えていたことが分かりました。まだ、メタボリックとは認定されていません（ｷﾘｯ 時間の問題です（ｷﾘｯ さて、腹囲は、その名の通り、“腹

2011/01/06 23:00

人間が一生かけて数えることができる数はいくつまで？

私には、本当に暇になると数学の問題を創ってそれを解くという趣味・思考・試行・嗜好があります。正月の帰省先の実家から自宅までの移動の8時間が本当に暇な時間です（早く九州の東側にも新幹線通らないかと思っています）。さて、数を1から、"

2010/01/04 17:18

文字のゲシュタルト崩壊

文字のゲシュタルト崩壊とは，簡単に書くと「普段見慣れている文字が，突然よく分からなくなる」こと．というのも最近ですが，魚介類専門の飲食店に行ったとき，献立を見ていて，魚編が同じ状態になりました．続きを読むをクリックして，表示される文字をボー

2009/07/11 22:53

x^n = 1 の解の図形的視点

問題：x に関する方程式 xn = 1 の解は複素数平面の単位円上に配置され，各解を単位円上に順番に結んでできる図形は正n角形である．ただし，n は3以上の整数とする．これは真か？

2009/06/25 22:38

方程式と恒等式と定義式

数学で扱う“等式”には、方程式と恒等式と定義式とがある。xに関する方程式とは、あるxについて成り立つ式をいう。これに対して、xに関する恒等式とは、すべてのxについて成り立つ式をいう。例えば、x2 - 5x + 6 =

2009/06/16 00:12

【未解決】自然数の約数の和

【問題】1以上の自然数 n があるとき，n の約数の和を求める方法を示せ．約数の和の例）8 の約数の和は，15 (= 1 + 2 + 4 + 8)20 の約数の和は，42 (= 1 + 2 + 4 + 5 + 10 + 20)

2009/06/15 23:41

宮崎県立延岡西高等学校 校歌

宮崎県延岡市限定ローカルネタ．

2009/06/09 00:22

星の数

私たちの天の川銀河には，星（自ら光る星：恒星）が，2千億個あるといわれている．そして，137億光年の広がりを見せるこの宇宙には，銀河は，1千億ほどあるといわれている．掛け算すれば，ざっと宇宙の星の数は，20,000,000,000,000,

2009/06/08 00:02

こんちには みさなん おんげき ですか？ わしたは げんき です。

こんちには みさなん おんげき ですか？ わしたは げんき です。この ぶんょしう は いりぎす の ケブンッリジ だがいく の けゅきんう の けっかにんんげ は もじ を にしんき する とき その さしいょ と さいご の もさじえ

2009/05/11 01:34

一週間

一年は，地球が太陽を一周する時間であり，一ヶ月は，月が地球を一周する時間であり，一日は，地球が自転軸を中心に一周する時間である．これらの時間の単位は，自然現象（天体の動き）が基準になっている．では，一週間はどうだろう？日月火水木金土のように

2009/05/07 23:53

超巨大ダイヤモンド

やっぱ，宇宙はスケールが違う．宇宙からのバレンタインプレゼント：ばらの花束と巨大なダイヤモンド大きさは月くらいで，10000000000000000000000000000000000カラットとのこと．すばる望遠鏡が明かした、ダイヤモンドの

2009/04/21 00:00

x_(i+2) = a * x_(i+1) + b * x_i の漸化式

意外に一度も取り上げていなかった三項間の，以下の漸化式の一般項を求める． ただし，初項を とし，s は0または1とする． また，， とする．

2009/04/15 01:36

イヴの時間

ロボットが実用化されて久しく，人型ロボットが実用化されて間もない時代のお話．アンドロイドと人間の感情・振る舞いについて，扱われています．最初のプロローグだけでも観てみて下さい．【ニコニコ動画】イヴの時間 act01:AKIKO【関連URI】

2009/04/14 22:44

のこされし者のうた

音楽は，寝たいときや集中したいときに外界を遮断するために聴く，または精神的にへこんでいるときにさらにどん底まで落とすために聴く，など音楽を聴くセンスがない私は，音楽を聴く機会はほとんどありません．のこされし者のうた : 浜田真理子 Offi

2009/04/10 00:21

【未解決】3角形の面積の2等分線

問題：x-y座標上の △ABC において，頂点の座標を A(ax, ay), B(bx, by), C(cx, cy) とし，△ABC の面積を2等分する直線の方程式を x = k とする．k の値を求めよ．COMMENT: 一般的な答えが

2009/04/08 23:02

3角形の辺のn等分線の長さ

問題：△ABCにおいて，各辺の長さを，BC = a, CA = b, AB = c とし，辺BCをn等分する点をBに近いほうからそれぞれ X1, X2, X3, ..., Xn-2, Xn-1 とする．このとき，辺AXk (k = 1, 2

2009/04/07 08:42