自己紹介:self introduction
49 views
Skip to first unread message
lobosKobayashi
Nov 3, 2012, 6:57:25 PM11/3/12
to science-w...@googlegroups.com
はじめまして kVerifierLab 小林と申します。
Hi all, my name is Kenji Kobayashi in kVerifierLab
私のバック・グラウンドの大本は物理です。名古屋大学・理学部・物理学科で理論物理を目指しました。でも能力の限界を悟って、大学院は制御工学に転進しました。しかし今でも能がないくせに、数学や物理の世界でも遊んでいます。
My basic back ground is physics. I aspired a theoretical physicist at Nagoya university department of Physics. But I understood my ability limits and transfered to control engineering in master course. Even now I play arround in physics or mathematics now and then.
就職した頃 8080 が使われだし、その頃からマイコン関連の技術職を続けました。プログラミングや回路など広く浅く様々のことを経験しました。 現在は年金生活です。
When I entered employment, The LSI:8080 come into usage and I have been a engenere related to micro computers.I have experienced programming, circuits and others widely and shallowly. Now I am a pensioner.
現在は kVerifier と名付けた検証用のライブラリと、PythonSf と名付けた数学ソフトを開発しています。
Here I have been developing kVerifire library to verify program codes and PythonSf:math software.
kVerifier ではテストをソースから独立させます。動作具体例の羅列を set/compare を中心とするスクリプトで記述します。このテスト・スクリプトには時間も入れられるので、組み込みソフトにも使えるのが自慢です。C/C++ と Python のライブラリが実装を終わっています。これにより、Python でテストも含めた開発を済ませておいて、そのテスト・スクリプトでエラーを出さない C/C++ コードの開発ができます。テストがソース･コードの何倍にもなる一万行を越えるソフト開発で威力を発揮します。
kVerifier makes tests independent from souce. The tests are lists of operative expamples that are described by set/compare and other instructions. The tests include time sequences. So it can be used for embedded sofwtares. There are kVerifier libraries for C/C++ and Python. So you can virtually develop and debug softwares by Python with verifying test codes. You can use the verified test codes for developing C/C++ codes for actual embedded micro-computers. kVerifier libraries show their full force for 10000 line over codes where test codes are bigger than developed programming codes.
PythonSf は kVerifier の実際的な応用例の意味と同時に、自分が欲しい数学ソフトを求めて作っています。CUI ソフトであり、エディタに組み込んで使います。カーネル部分を除いて、ソース・コードの大部分を公開しています。現在の配布されている機能で理系の学部数学程度は扱えると思います。それを超える機能はユーザー側でカスタマイズして使います。Python ですから数学的な対象も意外と簡単に実装できます。例えば置換群や一般体係数多項式クラスなどが 600 行程度で実装されています。
PythonSf math software has been developed to show the forces of kVerifier libraries and to be used by myself. It was a CUI software and used being embedded in user's editor. Better-most part of it's codes are opened except for the kernel part.kernel. Now distributing PythonSf package can deal with under graduate level mathematics. If you need higher mathematics, you would customize PythonSf by yourself. You can programm mathematical objects so easily because of Python. For examples, permutation Group or polynomials with general field co-efficients are implemented with 600 lines python codes.
下で色々と書き散らしています。
I wrote articles in below.
Web Page ;;http://www.nasuinfo.or.jp/FreeSpace/kenji/index.htm
blog page;;http://loboskobayashi.wordpress.com/
facebook ;;http://www.facebook.com/groups/335609466475226/
Python 関連では「dis/inspect モジュールと ceval.c を使った Python のハッキング:http://www.nasuinfo.or.jp/FreeSpace/kenji/sf/python/virtualMachine/PyVM.htm」の記事が自慢です。
I am proud of an article:"dis/inspect モジュールと ceval.c を使った Python のハッキング:http://www.nasuinfo.or.jp/FreeSpace/kenji/sf/python/virtualMachine/PyVM.htm". (Sorry not translated to English)
Hi all, my name is Kenji Kobayashi in kVerifierLab
私のバック・グラウンドの大本は物理です。名古屋大学・理学部・物理学科で理論物理を目指しました。でも能力の限界を悟って、大学院は制御工学に転進しました。しかし今でも能がないくせに、数学や物理の世界でも遊んでいます。
My basic back ground is physics. I aspired a theoretical physicist at Nagoya university department of Physics. But I understood my ability limits and transfered to control engineering in master course. Even now I play arround in physics or mathematics now and then.
就職した頃 8080 が使われだし、その頃からマイコン関連の技術職を続けました。プログラミングや回路など広く浅く様々のことを経験しました。 現在は年金生活です。
When I entered employment, The LSI:8080 come into usage and I have been a engenere related to micro computers.I have experienced programming, circuits and others widely and shallowly. Now I am a pensioner.
現在は kVerifier と名付けた検証用のライブラリと、PythonSf と名付けた数学ソフトを開発しています。
Here I have been developing kVerifire library to verify program codes and PythonSf:math software.
kVerifier ではテストをソースから独立させます。動作具体例の羅列を set/compare を中心とするスクリプトで記述します。このテスト・スクリプトには時間も入れられるので、組み込みソフトにも使えるのが自慢です。C/C++ と Python のライブラリが実装を終わっています。これにより、Python でテストも含めた開発を済ませておいて、そのテスト・スクリプトでエラーを出さない C/C++ コードの開発ができます。テストがソース･コードの何倍にもなる一万行を越えるソフト開発で威力を発揮します。
kVerifier makes tests independent from souce. The tests are lists of operative expamples that are described by set/compare and other instructions. The tests include time sequences. So it can be used for embedded sofwtares. There are kVerifier libraries for C/C++ and Python. So you can virtually develop and debug softwares by Python with verifying test codes. You can use the verified test codes for developing C/C++ codes for actual embedded micro-computers. kVerifier libraries show their full force for 10000 line over codes where test codes are bigger than developed programming codes.
PythonSf は kVerifier の実際的な応用例の意味と同時に、自分が欲しい数学ソフトを求めて作っています。CUI ソフトであり、エディタに組み込んで使います。カーネル部分を除いて、ソース・コードの大部分を公開しています。現在の配布されている機能で理系の学部数学程度は扱えると思います。それを超える機能はユーザー側でカスタマイズして使います。Python ですから数学的な対象も意外と簡単に実装できます。例えば置換群や一般体係数多項式クラスなどが 600 行程度で実装されています。
PythonSf math software has been developed to show the forces of kVerifier libraries and to be used by myself. It was a CUI software and used being embedded in user's editor. Better-most part of it's codes are opened except for the kernel part.kernel. Now distributing PythonSf package can deal with under graduate level mathematics. If you need higher mathematics, you would customize PythonSf by yourself. You can programm mathematical objects so easily because of Python. For examples, permutation Group or polynomials with general field co-efficients are implemented with 600 lines python codes.
下で色々と書き散らしています。
I wrote articles in below.
Web Page ;;http://www.nasuinfo.or.jp/FreeSpace/kenji/index.htm
blog page;;http://loboskobayashi.wordpress.com/
facebook ;;http://www.facebook.com/groups/335609466475226/
Python 関連では「dis/inspect モジュールと ceval.c を使った Python のハッキング:http://www.nasuinfo.or.jp/FreeSpace/kenji/sf/python/virtualMachine/PyVM.htm」の記事が自慢です。
I am proud of an article:"dis/inspect モジュールと ceval.c を使った Python のハッキング:http://www.nasuinfo.or.jp/FreeSpace/kenji/sf/python/virtualMachine/PyVM.htm". (Sorry not translated to English)
HW as a Pythonista
Nov 7, 2012, 11:57:45 AM11/7/12
to science-w...@googlegroups.com
kVerifierLab
小林様ご投稿ありがとうございます。HW as a pythonista 渡邉博文と申します。
私の専門は元々、物性理論でしたので、小林様は物理の大先輩でいらっしゃるようです（大学は異なりますが）。
年金生活中にプログラミングとはすばらしいですね。PythonSfも、完成度が高そうに見えます。
このScience with Pythonには、何人か数式処理が好きな方がいらっしゃいますのでそれらの方々とご交流されたらよろしいのではないかと思います。
今後も積極的なご投稿をお待ちしております。
Dear Kobayashi-san in kVerifierLab
Thank you for posting the message. This is HW as a pythonista, (Hirofumi Watanabe).
My original back ground is also theoretical physics (condensed matter theory). So I am glad to hear you also have experience to study theoretical physics.
It sounds great to do the programming after retirement. PythonSf looks so nice.
There are some people who interested in formula manipulation system in "Science with Python" group. So I recommend you to communicate to them.
We wait for posting messages actively.
2012年11月4日日曜日 7時57分25秒 UTC+9 lobosKobayashi:
Reply all
Reply to author
Forward
0 new messages