Monaを中心に着々と開発を進めています。
最近はIPA未踏で天才プログラマー／スーパークリエータに認定されて、
はてなからサイボウズ・ラボに転職しています。
本家：http://monaos.org/
開発Wiki：http://wiki.monaos.org/
ひげぽんはてなダイアリ：http://d.hatena.ne.jp/higepon/
Mona/開発版/0.3.0
http://wiki.monaos.org/pukiwiki.php?Mona%2F%B3%AB%C8%AF%C8%C7%2F0.3.0
最近活発な話題
http://wiki.monaos.org/pukiwiki.php?%BA%C7%B6%E1%B3%E8%C8%AF%A4%CA%CF%C3%C2%EA
■前スレ
【ｽｰｸﾘ】ひげぽん Part1【Mona】
http://pc11.2ch.net/test/read.cgi/prog/1200119700/l50
■関連スレ
なあ、Monaの開発は順調さ build2
http://pc11.2ch.net/test/read.cgi/os/1201436942/l50
■避難所
OSを作ろうPart15Mona専用
http://etc6.2ch.net/test/read.cgi/siberia/1136088527/
ttp://www.meti.go.jp/press/20071023003/20071023003.html
日本国内では、独自のOS 開発のプロジェクトは学術分野でも多くない上
に、草の根的にOS を開発しているプロジェクトは少ない。Mona OS は２ち
ゃんねるから生まれた独自OS であるが、このMona OS をより普及させる手
段として、Scheme シェルを搭載し、Mona OS をより洗練されたものにする
提案である。草の根OS のOS 開発プロジェクトとして、未踏性があること
から採択したプロジェクトである。
Mona OS そのものが独自開発カーネル、そして本Scheme シェルの処理系
もC++を用いた独自開発となっており、会社で勤務しながらこれだけのソ
フトウェアを開発したコーディング能力は極めて高い。また、独自OS 上に、
UNIX のシェルを移植するのではなく、Scheme をシェルとする着想は未踏性
も高い。いくつかのコマンドとOS リソースで有効性を示している。
以上の理由から箕輪氏を天才プログラマとして認定する。今後もLinux
やWindows を越える志で本シェルとMona OS を育ててほしい。
> >関数定義が数値代入と同じように扱われる
> ↑意味不明
C言語の感覚でa = bを見ると5とか10とか数字をイメージするけど、
そうやって関数そのものを受け渡すということ。
その例として int(*hige)(int,int) = mul; を出した。
関数の定義も代入っぽい書き方でやるとか言おうと思ったけど
カリー化とかラムダ式が表に出てくるからやめた。
[Haskell] mul = \x -> \y -> x * y
JavaScriptとかC#とか知ってるならそっちと比べてもいいんだけど。
[JS] mul = function(x) { return function(y) { return x * y; } }
[C#] Func<int, Func<int, int>> mul = x => y => x * y;
C#の型推論はラムダ式の代入で使えないから中途半端。
> C言語でそれっぽいことをやる方法の説明にはなっても、
> 高階関数がわかってない人への説明にはならない。
何となくイメージが伝わればいいんじゃないかと。
ファーストクラス値であるということですね。
（オブジェクト指向な言語なら関数オブジェクトがファーストクラス
オブジェクト、ということになるのでしょうが）
関数「定義」とか、数値「代入」とか...
そんな感じです。
ろくなアプリも無いし。
コレはまぎれも無い事実。
関数型言語が素晴らしいなら、世の中に広まっているはず。
しかし現実は広まっていない。
コレもまぎれも無い事実。
以上の事から、「関数型言語は」という結論が導きだされる。
世界では必ずしも素晴らしいものが広まるとは限らないという事を知れ。
醜くても広がったものが勝ちなのだ。
まあそんなイメージ
その他のことは主にそこから派生した細かいテクニックの類
◎引数で簡単に渡せる
ソフバンの本読んで以来触ってないからなあ
wxWidget使えるようだし‥
概念を得るだけでも効果あると思うよ。
なるほど。
引数で関数定義を渡したいシチュエーションって、
どんな時かなぁ。 今ひとつ有難味がわかんないん
だけど…
それより、ランタイムのオーバヘッドが大きくなって
パフォーマンスに煩いジャンルには向かない気がする。
> 引数で関数定義を渡したいシチュエーションって、どんな時かなぁ。
C言語のqsort()は知ってる？
> それより、ランタイムのオーバヘッドが大きくなって
> パフォーマンスに煩いジャンルには向かない気がする。
コンパイル時にインライン展開されるから関係ない。
さっきのqsort()の例で言うと、qsort()と渡した関数が一体化するイメージ。
C++だってテンプレートが個別適用されるから
コンパイル時に負担は掛かるけどランタイムに負担かからないでしょ？
井上さん？
誰それ？
井田さんか
誰それ？
qsortは知ってるけど、コールバックが簡単に実装
出来るっていう程度の恩恵しか無いのかなぁ？
もっと革新的なものがあると思ったんだけど違うの
かも。
インライン展開されてしまうということは、バイナリが
大きくなってしまうよね。 でも、さっきのqsort程度の
シチュエーションでしか利用することが無いのなら、
さほど影響はないのかも。
うん、だいたいそんな感じ。
使うとすればこういうシチュエーション。
(1)
{ ループ等
(2)
}
(3)
あちこちで上記のようなコードがあったとする。
(2)が共通だったらそれを関数にすれば良いから簡単。
そうじゃなくて、準備や後始末の(1)や(3)が共通で、
(2)にバリエーションがあるような場合、
(1)と(3)を処理する関数に(2)を渡す。
Rubyでは作者の趣味でこういうブロックを渡す書き方が多用される。
イテレータで調べてみると色々とパターンが出てくる。
あーなるほど。
確かにそういうシチュエーションって結構有りそう。
でも、普通は似たような記述を極力避けるようにすると
思うんだけど、最近のトレンドはそうじゃないのかな。
全部インライン展開されちゃうとすると、組込だと厳しいね。
>>20のような状況の場合、
何も工夫しないで何度も同じことを書くのと
バイナリ量的には同じなので、
特にデメリットがあるわけでもないよ。
最近のトレンドって言っても一概に言えないけど、
少なくともHaskellは組み込みには向かないと思う。
得るものは大きいだろうけどさ。
schema vmは研究開発として書いているのか？
まー、いいじゃん。
ラボの５０％ルール範囲内なんじゃない？
どういう意味？
おまえらもっと天才ひげぽんの偉業を褒め称えろよ
まあそういう努力の才能が天賦の才と言えばそうだが。
自分も同年代のプログラマで意識的に勉強しているのだけど差は開く一方。
たしかに。情報系大学の学部レベルを独学してるようで。すごいよ。
凡人でも固くない奴なら、引っ張ってもらうことは出来る
禿ラボ関係者乙
家電製品なんてファームから作るのは今でも普通の会社員の仕事だし。
http://d.hatena.ne.jp/kanose/20080315/netcharacterreset
----
・そもそも大半の人は過去の活動まで調べようとしないので知らないことが多い
・知ったとしてもそれを気にする人が少ない
・ずっと気にするのは、その人に被害を受けた人
・特に当事者でもないのに、ずっと気にして、それに触れている人は粘着呼ばわりされる。
被害を受けた人はさすがに粘着と呼ばれないとは思うのだが
・ネットのコミュニティは一定の期間でシャッフルされる
・たとえば、はてなでも、ずっと見かける人は少ない。
いつの間にかフェードアウトする人が多数で、新規参入者が出てくる。新規参入者は当然過去を知らない
・最近だと、盛り上がるネットサービスによってもシャッフルが起きる。mixiだったりTwitterだったり
の結果が↓
http://set.bbspink.com/test/read.cgi/erocomic/1142485071/
桑原誠は原稿料逃げてる場合じゃない！！この大バカヤロー！！！！！
西尾さんのすごさはチューリング超えてるからね
推薦文は2ch有志で考える作戦で。
http://cydn.cybozu.co.jp/office/
これが現実です。
これ株価対策かな？
Xbyakを業績を知らないの？
ttp://homepage1.nifty.com/herumi/soft/xbyak.html
これが業績か？
ただ単にアロケーションメモリ上に機械語命令書き込んで
実行するだけだろ？
これが業績かぁ・・・・ これが現実だな。
インラインアセンブラ並みに自然な書き方ができるのは良いね。
今までこういうのはありそうでなかった。
関係者乙
最近の禿ラボ、身内のかばい合いが増えたな。
化けの皮が剥がれかかってるから、
それで必至なのかね？
〜修正(thanks to Robertさん)
「俺、海外でも評価されてるんダゼ。すげぇだろ」
と言いたいようだが、ググッってもその痕跡は皆無ｗ
こんなものが評価されるワケねーだろｗ
立てた
それは礼儀として書いているんでないかと。
YES
ＭＰ３のエンコードエンジンは海外で別の人が
つくったものだよ。 この人達は器を作っただけ。
これで「つくった！」とか言われてもなｗ
嘘つくなっての
へるみ氏の掲示板とかでMMX使った高速化とかさんざん話題になってたわ、ボケ
> 本ソフトウェアのエンコードコアの部分は、高性能エンコーダー lame を
> ベースとしており、 LGPLに基づくフリーソフトウェアの扱いとなっています。
> (以前はISOベースのコードを利用していました)
怪 エンコーダを作りました！！！
正 「海外のエンコーダ」をMMX命令を使って最適化して用いています。
作ったというのは言い過ぎｗ
きっちり書き直したんだから、むしろ豪華な食材を
作って料理して、器に盛ったのが午後のこーだ。
「器を作っただけ」とは過小評価も甚だしい。
わかった。お前が言うことにも一理ある。
妥協点を探ろう。
過小評価 ：器を作っただけ
〜ここ〜
作りました ：言い過ぎ
何かいい表現方法ある？
> herumiって午後のコーダのひとだっけ？
lameに飾りつけした人だな。
作ったことよりもMMXを使って最適化できるほうがまだすごい
懐古趣味っていうか、アセンブラでガリガリ速度アップ
させるなんて、PCが８ビットの頃からやってたし。
特別なことじゃないでしょ？
そういう意味では価値があるね。
でも天才は言い過ぎｗ
無料公開するってのも追加
それによってソフトウェアでの価格競争がまったくできなくなり企業が作らなくなる
企業が戦略的に無料にしたりする。
たとえば>>81の人なんかM$のその戦略に乗ってんじゃん。
でもその戦略はEUで独禁法違反認定。
May 27, 2007
Mona OS ver.0.3.0alpha9
こんな状態だし。
もうこっちには戻ってこれないだろうなあ…
moshは可能性あるから
チューニングよりそっちの方が重要だと思うわけですが。
つうかなんでリリース版で機械生成したファイルを配らんのだ？
それがあればgccだけでビルドできると思うんだが。
JAVAなんて昔は今の1/10位の速度だったけど
滅茶苦茶流行ってたぞ
俺は簡単に直せて効果がでかいもの以外は最後にまとめてやるけど。
このへん追求していくと泥沼状態になって先に進まなくなるんですよ。
遅くても必要な機能が揃っていればとりあえず使える。
速いけど機能が足りない場合は使い物にならん。
つうことで。
判断するのも腕の見せ所だよな
・ソフトウェアの不正コピーを行っていた
・労働契約上の違反をしていた
・他は不正コピーしていないことを証明しようとしてエロゲーのパッケージを発見し、
写真に撮ってアップロードしようとした。
http://d.hatena.ne.jp/pmoky/19000106
やねう企画の裏側（競馬の詐欺ソフトの製作現場）
http://d.hatena.ne.jp/pmoky/20060510
http://d.hatena.ne.jp/pmoky/20060511
http://d.hatena.ne.jp/pmoky/20060512
有限会社やねう企画（所在地・大阪府八尾市末広町２−１−２）が計画倒産
http://www.sia.go.jp/~osaka/zenso/19.09.pdf
やねうらおプロフィール
性格：友達から「sラ」「」と呼ばれている。前世で人鬼だった宿業を背負っているという妄想（自覚）あり。
最終学歴：専門学校卒
主な職歴：有限会社センキ（凌辱系ゲームの製作会社）を経て独立、有限会社やねう企画を設立、２００６年に計画倒産
代表作：『夜這いマニア』『マニア』『お楽しみＣＤシリーズ』『競馬詐欺ソフト』『ＢＭ９８』
やねうらお語録
>「ワシのほうが潔癖やと思うんやけどな。
>絶対に違法コピーのソフトしか使わんし。
>たとえば強盗に入ったときに、ちょっとかわいそうになって
>十万円だけ残してったら、おかしいやろ？
>自分の『強盗する』という意思に対して矛盾やろ？
>だからワシは、一個も買ったソフトを使ったことがない！！」
http://d.hatena.ne.jp/yaneurao/20080619
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
【INW】インターネットウェア 01【TCS】 (480)
凄い技術者って一人で何人月分ぐらいこなせるの？ (163)
【INW】インターネットウェア 01【TCS】 (480)
腐れﾎﾜｲﾄｶﾗｰはもう要らない、これだけの理由！ (281)
【プログラマに】Dvorak配列を語るスレ【最適】 (383)
求人数はJava、年収はC#がトップ (168)
--log9.info------------------
それにしても2011年の秋ってSFだなぁ (382)
最後まで読めたら凄い、難解な作品は？ (454)
超高度文明と聖人の様な心を持つ存在が地球に現れて (157)
恒川光太郎 (168)
ピアズ・アンソニィ【魔法の国ザンス】その5 (369)
21世紀版宇宙の戦士 老人と宇宙 2 (278)
ジュブナイルSFを語ろう その2 (127)
E.C.タブ デュマレスト・サーガ (200)
早川ちゃんとやろうよっ！ 20 (291)
小松左京賞＆日本SF新人賞 出身作家スレ2 (120)
河出書房の奇想／国書刊行会の冒険／晶文社の追悼 3 (152)
パトリシア・A・マキリップのスレ 2 (133)
昔のSFは古い (168)
SF大賞 (965)
冲方丁＠SF板 ３ (137)
第n回元老院スレ 小松左京氏の訃報対応について (114)
--log55.com------------------
全日本フィギュアスケート選手権大会2019★4
フィギュアスケート★現役女子シングル part111
フィギュアスケート☆坂本花織 Part6
フィギュアスケート★男子シングル Part973元IDなし
フィギュアスケート★男子シングル Part973元IDなし
羽生結弦 Part420
【フィギュア】ロシア女子を見守ろう59
フィギュアスケート★現役女子シングル part112