しばらくやめていた市民農園に再挑戦で、今年は小玉スイカの空中栽培も試してみた。植え付け時は、炭疽病を心配し、乗り越えたかと思えば、今度はウリハムシ、そして受粉がなかなかうまくいかないとか、いろいろありましたが、今のところ、それほど雨に悩まされることなく病気の症状もおさまっているようです。このまま梅雨明けしてくれるといいのですが。
2025年7月2日水曜日
2025年6月26日木曜日
ロープの結び方
畑作業でもよく使うので、男結び等について 図にまとめてみました。(トラックロープの結び方は南京結びともいうようです。) 他にも、巻き結び、もやい結び、結束結び、自在結び、ひとえつぎ結び等、覚えておくと便利なようです。
GASではJSON.stringfyをつかったほうがいいようです
畑の収穫記録をGASで管理(収穫の個数を記録しその都度、合計の確認)しようかと、ChatGPTにコード頼んでみたけど、なかなか一筋縄ではいかない。AIにより、だいぶコーディングは楽になっているが、やはり、ある程度やりとりしながら、人間側が修正してあげないと動かなかった。
最初、ChatGPTはサーバ(GAS)からのレスポンスデータを単純にオブジェクトで渡すコードを提示してくれたけれど、それではうまくいかず、やはり、JSON.stringfyを使わないとだめだった。
2025年6月2日月曜日
ガロア理論入門(アルティン) 問11-3(2)
P117 p素数 Φp^n(x)=Φp(x^(p^(n-1)))が既約であることを示す問題の途中の変形がしばらくわからず悩む。
Φp(x^(p-1)+(pでわりきれる項)+1)={x^(p^(n-1))+(pでわりきれる項)}^(p-1)+(pで割り切れる項)+pとなる理由
∵前問で①Φp(x+1)=((x+1)^p-1)/((x+1)-1)=x^(p-1)+Σk=1~(p-2) pCk x^(p-k-1)+p が言えていたので、これを使うとよいことにきづく。今の場合、X=x^(p-1)+(pでわりきれる項) としてこれを①のxをXで置き換えるとうまくいくようです。
前問をつかっているということに、きづかなかったためしばらく悩みました。よく読むと問題にも(1)と同様にして解く と書いてあるのを見逃していました。
2025年5月17日土曜日
アルティンのガロア理論入門 P106
途中の式変形で、すこし手こずる。x^(q^n)-α^(q^n)-(x-α)を(x-α)で割ってから、x=αを代入した式がq^n*α^(q^n-1)-1となることを示したい。ChatGPTにすぐ頼ってしまったが、いまいちすっきりしない。
与式をf(x)とすると f(x)=(x-α)h(x)とみなし h(x)=f(x)/(x-α)だから、h(x)=f'(x)とみなせるからという説明だった。たしかに、x→αでは、解析的には微分だが、、、、(自分には高度すぎる?)。
と、少し間をおいてあらためて考えると 単純に式の割り算をすると、
Σ i=0~q^(n-1) α^i*x^(q^n-i-1) -1 となることに気づく。これにx=αを入れると、結論が言えるようだ。自分としては、こちらのほうが納得できる。
2025年3月29日土曜日
モナドの活用
Haskell入門 を久しぶりに読み直してみた。P168にMaybeモナドについて少し復習してみた。
subMenu <- lookup category menu
price <- lookup name subMenu
return (category,name,price)
これを、手続き型言語で、実現しようとすると条件分岐に頼らざるを得ないけど、その必要もない。
このへんが、関数型言語のモナドの強みなのかもしれない。
2025年3月19日水曜日
1960年代からの国債残高の増加率をグラフにしてみた。
![]() |
![]() |
2025年3月14日金曜日
ルベーグ積分 理論と計算手法 P199
補題9.13(2)でまた、つまづいてしまった。仕方なく、だめもとでChatGPTに頼ってみたら、きちんと回答してくれた。AIの力も凄いものだと驚きました。ここ何か月間の間にパワーアップした?
質問は 「ルベーグファトウの定理を使い、∫A max k≦n fk μ ≦ ν(A) から ∫ sup n∈N fn μ ≦ ν(A)をいえますか?」としました。 回答に少し補足を入れてまとめてみた。
∵) gm=max k≦n fk (これは増加列 ①)として 定理を適用すると
∫A lim inf n→∞ gn μ ≦ lim inf n→∞ ∫A gn μ
左辺は ∫A sup n∈N fn μ ② ↓ここで①を使う
また sup n∈N inf k≧n gn = lim n→∞ inf gn=lim n→∞ gn =sup n∈N fn これが②の理由
∫A gn μ ≦ ν(A) で n→∞ ならば lim inf n→∞ ∫A gn μ≦ ν(A)
ゆえに 結論 ∫A sup n∈N fn μ ≦ ν(A)
定理に必要な優関数がないので、質問したら、優関数はf1(x)という回答。専任の家庭教師がついているような感覚になる。
2025年2月20日木曜日
Σsinkx/k の求め方で苦戦
ルベーグ積分 理論と計算手法 P183 例8.9(1)で、
Σsinkx/k=(π-x)/2 (2π>x>0)になる理由がわからず、苦戦。
log(1-z)を微分し -1/(1-z) = Σz^n なので
積分して log(1-z)=-∫Σz^n dz =-Σ∫z^n dz = - Σ z^(n+1)/(n+z)
= - Σ z^n/n (Σが n=0からとなっていたのをn=1からとすることで変形)
これを使うと
Im(log(1-e^ix))=-ΣIm(e^ixk)/k = -Σ sin kx /k
これは arg(1-e^ix)=-(π-x)/2 (0<x<2π) でもある
∵)log(re^ix)=logr+log(e^ix)=logr+ix
∵) 1-e^ix=(1-cosx)-isinx r=√((1-cosx)^2+sin^2x =2sin(x/2)
-sinx / 2sin(x/2)=sinΘ なら Θ=-(π-x)/2になる。
∵) 2sin(x/2)sin((π-x)/2) = sinx このへんは地道に三角関数の計算を確認すると
確かにそうなる。それにしても計算が大変だった。
フーリエ級数使うともう少し楽に計算する方法もありそうなので、そちらも試してみたい。
追記(2/22):その後、ディリクレージョルダンの定理(P182)を使うと、計算できることが確認できた。
f(x)=-x/(2π)+1/2*sgn(x) として bk=1/kとできるので、これを定理に適用するといいようだ。最初うまくいかなかったのは、ちょっとした計算ミスのためだった。だいぶ遠回りしてしまった。
ついでに、(2)も解いていみた。
x∈(-2π,2π)を x'=x/2∈(-π,π)とすると 2Σsin2kx'/2k=Σsin2kx'/k=-x'+π/2*sgnx'
(1)より 2(-x/2+π/2*sgnx)=2Σsinkx/k=2( Σsink2x/2k + Σsin(2k-1)x/(2k-1) )
=-x+π/2*sgnx + 2*(求めたい式)となるが、これを整理すると
求めたい式= Σsin(2k-1)x/(2k-1)=π/4*sgnxとなる。
PC用CW発振器(ツインT型)作成
peanutでは、PCでCW交信ができるようになっているが、そのための発振器を作ってみた。最初、2SC1815と2SA1015を組み合わせた簡易的なものを試したが、周波数がうまく変えられなかったので、ツインT型を試したらうまくいった。入力はUSBへの変換アダプタを使うことにしている。
2025年1月28日火曜日
JMoocに少し挑戦してみた
無料の大学講座JMoocに興味を持ち、少し勉強してみた。修了証もらうまで行く人が1割ということらしい(無料ということとも影響している?)。単元テストは計算力を必要とされる問題が多く時間がかかった。
抵抗2つ、コンデンサ2つを並列や直列組み合わせた回路で、抵抗値が流れる電流に影響しなくなる条件を求めよという問題や、交流回路の複素計算など、ちょっとしたミスがあるとなかなか解けなかったりする。久しぶりに、繁分数の式を変数に置き換えたり、〇.〇×10^△の形にして、少しでも計算が楽にならないか考えたり、LTSPiceなどPCの便利な計算に慣れてしまった昨今、逆に脳にはいい刺激になるかもしれないと思った。後半の三相交流の話になってくると、電力なども含めて考えると複雑になってきた。
電気回路に続いて、電子回路も受講、電気回路が物理に近い内容で計算中心だったが、電子回路のほうほ工学的内容だった。後半は集積回路に組み込むために容量の大きなコンデンサを使わない回路の工夫について説明があった。MosFETなどHFリニアアンプの製作にもいろいろと役立つ情報があった。とりあえず、2つの講座ともなんとか修了できた。
2025年1月26日日曜日
中足骨骨頭痛
以前から、歩くと靴の中に小石があるような痛みがあり、でも確かめると何もないという症状ががあり気になっていたが、よく調べると中足骨骨頭痛という症状らしい。足のアーチが弱くなるのが原因らしい。歩き方も踵に重心が来るように歩くといいらしい(足を前に出そうとするのでなく、上にあげてそのまま真下に落とすという感覚)。この症状が出ているときは、ウオーキングもほどほどにしたほうがいいようだ。
2025年1月25日土曜日
USB電力不足
以前から気になっていたけれど、デスクトップPCのバスパワーUSBハブが電力不足のためか、マウス以外つなげない状態。試しに、ケーブルの途中に三又状態にして、余ったUSB充電アダプタとUSBプラグを使って5Vを追加できるようにしてみたらうまくいった(若干コネクタ部分の接触が気になる感じはあったが、PCからの経路すべてに接点復活材をスプレーしたらだいぶ改善された)。
本来であれば、セルフパワーのUSBハブを購入すればいいのだろうけど、数千円はするので、余り物でなんとかできたので、少し節約はできたかもしれません。(というか、これ以上、5V電源アダプタは増やしたくなかったというのもありますが)
2025年1月24日金曜日
ChatGPTは計算が苦手?
ルベーグ積分理論と計算手法P159の計算をChatGPTに聞いてみたが、書籍の答えと一致しない。
∫(0,+∞) (y/(y^x+1) - y/(y+1)^2) λ(dy) が確かlog2と答えた。
正しくは、たぶん
[ log(y^2+1) /2 - ( y/(y+1) - ∫1/(y+1)λ(dy) ) ] (0,∞) かと思う。
↑部分積分
上記で計算すると確かに1になるので。
ChatGPTも、人間と同じようにまだ間違うこともあるようだ。
ChatGPTはLLMなので、どちらかというと帰納的推論?なのかもしれない。対して、wolframなどは、演繹的推論らしいけれど。。
それにしても、AIで、プログラミングもそうですが、いろんな独学もだいぶやりやすくなったと思う。
2025年1月19日日曜日
PIC12F1822(CPS)の実装
ブレッドボードでの実験はなんとかうまくいきそうなので、実装してみた。これからケースに収める予定。静電容量計測のケーブルもコネクタで取り外しできるようにしてみた。

2025年1月18日土曜日
PIC12F1822でCPSの実験(AQM1602Aを使用)
・カウントのオーバーフローするとマイナス表示になるようなので、delay関数の値を調整する必要があった。
・RA3を入力で使えるようにしたかったので、#pragma config MCLRE = OFF #pragma config LVP = OFF とするとよいという情報がネット上にあった。(LVPの必要性はよくわからない?が)
・RA5のLED出力とRA3のスイッチ入力は、とくに機能は実装していないけれど、今後の何らかの機能が必要になったときのために、コードで反応を確認してみた。
・少しわかりにくかったのは、秋月電子のLCD(AQM1602A)のコントラストがコードで設定するようになっていたこと。以下の(1)は72の2の部分が4bitで (2)は0101の4bitで5で 0100が4ですが、その下位2bitのみ関係しているので、00→01→10→11 で54~57の範囲になります。
LCD_cmd(0x54); //Power/ICON/Contrast Control 下位2bits...(2)
(2)と(1)あわせて 2^6=64 stepの範囲から指定するという意味だった。((2)のほうが上位) ※5Vだと上記ぐらいの値だけれど、3.6v(ニッケル水素充電池3本)だと、(1)0x73 (2)0x55ぐらいが必要だった。
2025年1月17日金曜日
デスクトップPCをraspi経由で電源On
PCの電源Onは、USB、内部タイマー、キーボード等々いろいろあるけれど、スリープ状態にするため、夜間勝手にアップデートなどでOnなるのも気になるので、完全にraspiで操作できるようにしてみた。
PCの電源は、導通でOnなので、例によってトランジスタ2sc1815を使った。raspiのGPIOは出力が3.3Vで、前回ブルーレイな場合と同じ回路(raspiのGPIOからトランジスタ経由でPCスイッチへ)にしてみたらうまくいった。最初、マザボピンの分岐コネクタに手持ちのピンでつないだが、接触不良起こしやすいようだったので、はんだ付けにする。PCの余分な穴にDC電源用のソケットをグルーガンで固定して、raspiとの接続ケーブルを取り外しできるようにした。(raspi側にも同様にソケットをつける。)
2025年1月14日火曜日
極限の計算のコツ
ルベーグ積分理論と計算手法P152 あたりで、ちょっとした極限の計算が分からない。最近は、どうにも解決できそうにないときChatGPTに聞くことにしている。
1<α<3 lim x→0 (sinyx-yx/(1+x^2))/αx^α が、さらっと0になることが書いてあるが、理由がわからなかった。
こういうときは、いろいろ展開を使うといいらしい。
sin yx = sin0 +yx*cos0 -(yx)^2*sin0/2! -(yx)^3*cos0/3!.....
=yx-(yx)^3/6 ①
1/(1+x^2)=1+(-x^2)+(-x^2)^2+(-x^2)^3+.....
なので yx/(1+x^2)=yx(1-x^2+x^4...)=yx-yx^3+yx^5..... ②
与式=(①-②)/αx^α=(y-y^3/6)x^3... /αx^α だが
α<3より 3-α>0 で x→0なら 確かに x^(3-α) → 0がいえるようだ。(最初、ChatGPTも途中の計算間違っていたので、再度、確認したら正しい説明をしてくれた。やはり、ChatGPTにとっても少し難しくなるとミスもしやすくなるんだろうか?)
学生時代にこういった勉強も多少はやったはずだけど、ほとんど記憶に残っていない、やはり使わないと忘れてしまうようです。
2025年1月13日月曜日
raspiで秋月のSSR操作
raspiにSSRを組み合わせてタイムスイッチつくってみた。
秋月電子のSSRキット(ゼロクロス、25A)を使った。100Vなので絶縁には細心の注意が必要。たまたま、先日、分解廃棄したDVDレコーダの中からヒートシンクを取り出していたので、早速活用。
フォトカプラを使っているようで、入力で15mmA消費とあったので、raspiのGPIOでも許容範囲であり、そのままつなげている。
ChatGPTに助けてもらい、以下のようなスクリプトを使ってうまく動作させることができた。(rapiでは、OSの中にすでに以下のようなスクリプトが使える環境がある)
GPIO_PIN=3 # GPIO3
if [ ! -d /sys/class/gpio/gpio$GPIO_PIN ]; then
echo "$GPIO_PIN" > /sys/class/gpio/export
echo "out" > /sys/class/gpio/gpio$GPIO_PIN/direction
if [ "$1" == "on" ]; then
echo "1" > /sys/class/gpio/gpio$GPIO_PIN/value
elif [ "$1" == "off" ]; then
echo "0" > /sys/class/gpio/gpio$GPIO_PIN/value
else
echo "Usage: $0 {on|off}"
exit 1
fi
2025年1月11日土曜日
PIC16F628AでUART for Dfplayer(備忘録)
arduino系と違ってPICはよりハードに近いため、通信のタイミングなどより細かい調整が必要だとわかった。外部発振子が必要だという情報もあったが、内部発振でも可能なような気もしたので、少し頑張ってみた。
確認したこと:各ポートの入力、出力の設定(TRISA,TRISB)、 内蔵発振4MHzが使えること(#define _XTAL_FREQ 4000000と PCON = 0b00001000)、UART関連設定(TXSTA,RCSTA) Config系(FOSC = INTOSCCLKで内蔵発振を指定) SPBRG=25(4MHzと9600Bps、非同期、ハイスピードなどの条件から計算できることが、データシートに書かれている)
ここまでは、自力でなんとかできたが、問題は、UARTの送信関数
最初は
void dfply(char cmd, char parameter) {
while (TXIF == 0);
TXREG = 0x7E;
...........
としたが、これだと、データが完全に送信しないうちに次を送ろうとしてだめらしい。ChatGPTから、以下の方法を教えてもらい、試したらうまくいった。
void dfply(char cmd, char parameter) {
while (!TXIF);
TXREG = 0x7E;
while (!TRMT);
....
2025年1月8日水曜日
ルベーグ積分 理論と計算手法 P150
Γ(n+t)=(n-1+t)Γ(n-1+t)=.....=(n-1+t).....tΓ(t) ①
{1-(n+t)}Γ(1-(n+t)) = Γ(1- {(n-1)+t})
[1-{(n-1)+t}]Γ(1-{(n-1)+t}) = Γ(1- {(n-2)+t})
......
{1-(1+t)}Γ(1-(1+t)) = Γ(1-t)
これより、 Γ(1-t)={1-(n+t)}.....{1-(1+t)}Γ(1-(n+t)) ②
①、②より
Γ(n+t)Γ(1-(n+t))=(n-1+t).....tΓ(t)×Γ(1-t)/{(1-(n+t)).....(1-(1+t))}
=(-1)^n Γ(t)Γ(1-t)
ここで sinπ(n+t)=(-1)^n sin πtなので
Γ(n+t)Γ(1-(n+t))sinπ(n+t)=(-1)^n Γ(t)Γ(1-t) (-1)^n sinπt
=(-1)^2n Γ(t)Γ(1-t) sin πt = Γ(t)Γ(1-t) sin πt n∈Zなら これより、周期1を示しているだろうと、考えた。
2025年1月7日火曜日
室内室外温度計修理
長く使っていた温度計が突然壊れた。最初表示されないので、電池接触かと思い、確認したら液漏れしかけた電池があったので、交換。それでもだめなので、接点復活材を使う。今度は表示されたが、操作ボタンが反応しない。操作ボタンの接触不良を疑い、裏ブタを外して、接点復活材を使う。これで、ようやく使えるようになった。電池で使うようなものは、ほとんど酸化被膜が原因の接触不良が多いので、部品交換せずに修理できるようだ。
便利なものがあれば、それなりに故障もあるので、メンテナンスで手間はかかる。買い替えよりは、修理のほうが、環境にもやさしいかもしれない。
2025年1月6日月曜日
IRF510リニアアンプ回路をLTSpiceで解析(備忘録)
これまで、回路はQucsを使ってきたが、少し部品数が多くなると計算に時間がかかるので、LTspiceにしてみたら、使いやすくしかも速度もだいぶ早くなった。
2025年1月3日金曜日
Qucsで電流制限回路をシミュレートしてみた
1Aに電流を制限する回路を、書籍を参考にシミュレートしてみた。最初、うまくいかなかったが、電圧を1 0Vと数値と数値の間に空白を入れてご入力したのが原因だった。エラーをもとに、line番号から設定ファイルをよくチェックするといいようだ。
負荷の抵抗が正常だとI=E/Rで計算した電流が流れるが、数Ω程度にすると、オームの法則で計算した値より抑えられほぼ1A程度に制限されることが確かめられた。2025年1月2日木曜日
QucsのDCバイアス計算(備忘録)
QucsでDC回路のシミュレーションできないか試してみた。
・電流計は、すでに導線がつながっているところに、電流計をのせるようにしておかないとだめだった。実物では、いったん線をはずして、電流計につなぐので、ここを勘違いして、最初はなぜだろうと不思議に思ったが、何のことはない、はずさないとうまくいった。
・シミュレーションとして「DCシミュレーション」を回路図上にもってくる。
・メニューのシミュレーション>DCバイアス計算 とすることで、回路図上に各点の電位や電流計の電流が表示された。
実際に回路を配線しなくても、事前にいろいろ試せるので便利である。