Language | Simulang
simulationライブラリで純粋な関数式プログラミングをします
方程式的なプログラミング | 状態の手順的と関数的な表記の相互変換
VM を作った | 4Dエンジン | 連続と離散の統一
こんな日本語の文字を考案した(画像) | 人工言語
虫は宇宙人 | 人類の品種 | 言葉の起源 | DNAと門・綱・目
日本語は海豚の言葉 | ペンギン(ウルトラマン) | 猫語の「ニャー」の意味は2つ
Diablo 2 全スキル+21のチャーム | X3 TCで工場を買う方法
半光速度で宇宙旅行をする方法(超簡単です)
 1 2 3 4 5 ... 7
方程式的なプログラミングです
0   関東の国王      2021年3月11日 木 11:26
simulationライブラリによる純粋な関数式プログラミング
http://x0000.net/topic.aspx?id=3631-0
に加わって、今回は「方程式的なプログラミング」です:

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Simulation.Eq
{
   class Eq2<Tx, Ty>
   {
       Tx x_value;
       Ty y_value;

       public Func<Ty, Tx> f_x_from_y;
       public Func<Tx, Ty> f_y_from_x;

       public Eq2(Tx x0, Ty y0)
       {
           x_value = x0;
           y_value = y0;
       }

       public Tx x() { return x_value; }
       public Ty y() { return y_value; }

       public void set_x(Tx val_x)
       {
           x_value = val_x;
           y_value = f_y_from_x(x_value);
       }

       public void set_y(Ty val_y)
       {
           y_value = val_y;
           x_value = f_x_from_y(y_value);
       }
   }

   class Eq3<Tx, Ty, Tz>
   {
       Tx x_value;
       Ty y_value;
       Tz z_value;

       public Func<Ty, Tz, Tx> f_x_from_yz;
       public Func<Tx, Tz, Ty> f_y_from_xz;
       public Func<Tx, Ty, Tz> f_z_from_xy;

       public Eq3(Tx x0, Ty y0, Tz z0)
       {
           x_value = x0;
           y_value = y0;
           z_value = z0;
       }

       public Tx x() { return x_value; }
       public Ty y() { return y_value; }
       public Tz z() { return z_value; }

       public void set_xy(Tx val_x, Ty val_y)
       {
           x_value = val_x;
           y_value = val_y;
           z_value = f_z_from_xy(x_value, y_value);
       }

       public void set_xz(Tx val_x, Tz val_z)
       {
           x_value = val_x;
           z_value = val_z;
           y_value = f_y_from_xz(x_value, z_value);
       }

       public void set_yz(Ty val_y, Tz val_z)
       {
           y_value = val_y;
           z_value = val_z;
           x_value = f_x_from_yz(y_value, z_value);
       }
   }

   class Eq4<Tx, Ty, Tz, Tw>
   {
       Tx x_value;
       Ty y_value;
       Tz z_value;
       Tw w_value;

       public Func<Ty, Tz, Tw, Tx> f_x_from_yzw;
       public Func<Tx, Tz, Tw, Ty> f_y_from_xzw;
       public Func<Tx, Ty, Tw, Tz> f_z_from_xyw;
       public Func<Tx, Ty, Tz, Tw> f_w_from_xyz;

       public Eq4(Tx x0, Ty y0, Tz z0, Tw w0)
       {
           x_value = x0;
           y_value = y0;
           z_value = z0;
           w_value = w0;
       }

       public Tx x() { return x_value; }
       public Ty y() { return y_value; }
       public Tz z() { return z_value; }
       public Tw w() { return w_value; }

       public void set_xyz(Tx val_x, Ty val_y, Tz val_z)
       {
           x_value = val_x;
           y_value = val_y;
           z_value = val_z;
           w_value = f_w_from_xyz(x_value, y_value, z_value);
       }

       public void set_xyw(Tx val_x, Ty val_y, Tw val_w)
       {
           x_value = val_x;
           y_value = val_y;
           w_value = val_w;
           z_value = f_z_from_xyw(x_value, y_value, w_value);
       }

       public void set_xzw(Tx val_x, Tz val_z, Tw val_w)
       {
           x_value = val_x;
           z_value = val_z;
           w_value = val_w;
           y_value = f_y_from_xzw(x_value, z_value, w_value);
       }

       public void set_yzw(Ty val_y, Tz val_z, Tw val_w)
       {
           y_value = val_y;
           z_value = val_z;
           w_value = val_w;
           x_value = f_x_from_yzw(y_value, z_value, w_value);
       }
   }
}
1   関東の国王      2021年3月11日 木 11:28
F#での実装です:

namespace Simulation.Eq

   type Eq2<'Tx, 'Ty> = class
       val mutable x_value : 'Tx
       val mutable y_value : 'Ty

       [<DefaultValue>]
       val mutable f_x_from_y : 'Ty -> 'Tx
       [<DefaultValue>]
       val mutable f_y_from_x : 'Tx -> 'Ty

       new (x0 : 'Tx, y0 : 'Ty) =
           {
               x_value = x0;
               y_value = y0
           }

       member t.x () = t.x_value
       member t.y () = t.y_value

       member t.set_x (val_x : 'Tx) =
           t.x_value <- val_x
           t.y_value <- t.f_y_from_x t.x_value
           ()
       member t.set_y (val_y : 'Ty) =
           t.y_value <- val_y
           t.x_value <- t.f_x_from_y t.y_value
           ()
   end

   type Eq3<'Tx, 'Ty, 'Tz> = class
       val mutable x_value : 'Tx
       val mutable y_value : 'Ty
       val mutable z_value : 'Tz

       [<DefaultValue>]
       val mutable f_x_from_yz : 'Ty -> 'Tz -> 'Tx
       [<DefaultValue>]
       val mutable f_y_from_xz : 'Tx -> 'Tz -> 'Ty
       [<DefaultValue>]
       val mutable f_z_from_xy : 'Tx -> 'Ty -> 'Tz

       new (x0 : 'Tx, y0 : 'Ty, z0 : 'Tz) =
           {
               x_value = x0;
               y_value = y0;
               z_value = z0
           }

       member t.x () = t.x_value
       member t.y () = t.y_value
       member t.z () = t.z_value

       member t.set_xy (val_x : 'Tx) (val_y : 'Ty) =
           t.x_value <- val_x
           t.y_value <- val_y
           t.z_value <- t.f_z_from_xy t.x_value t.y_value
           ()
       member t.set_xz (val_x : 'Tx) (val_z : 'Tz) =
           t.x_value <- val_x
           t.z_value <- val_z
           t.y_value <- t.f_y_from_xz t.x_value t.z_value
           ()
       member t.set_yz (val_y : 'Ty) (val_z : 'Tz) =
           t.y_value <- val_y
           t.z_value <- val_z
           t.x_value <- t.f_x_from_yz t.y_value t.z_value
           ()
   end

   type Eq4<'Tx, 'Ty, 'Tz, 'Tw> = class
       val mutable x_value : 'Tx
       val mutable y_value : 'Ty
       val mutable z_value : 'Tz
       val mutable w_value : 'Tw

       [<DefaultValue>]
       val mutable f_x_from_yzw : 'Ty -> 'Tz -> 'Tw -> 'Tx
       [<DefaultValue>]
       val mutable f_y_from_xzw : 'Tx -> 'Tz -> 'Tw -> 'Ty
       [<DefaultValue>]
       val mutable f_z_from_xyw : 'Tx -> 'Ty -> 'Tw -> 'Tz
       [<DefaultValue>]
       val mutable f_w_from_xyz : 'Tx -> 'Ty -> 'Tz -> 'Tw

       new (x0 : 'Tx, y0 : 'Ty, z0 : 'Tz, w0 : 'Tw) =
           {
               x_value = x0;
               y_value = y0;
               z_value = z0;
               w_value = w0
           }

       member t.x () = t.x_value
       member t.y () = t.y_value
       member t.z () = t.z_value
       member t.w () = t.w_value

       member t.set_xyz (val_x : 'Tx) (val_y : 'Ty) (val_z : 'Tz) =
           t.x_value <- val_x
           t.y_value <- val_y
           t.z_value <- val_z
           t.w_value <- t.f_w_from_xyz t.x_value t.y_value t.z_value
           ()
       member t.set_xyw (val_x : 'Tx) (val_y : 'Ty) (val_w : 'Tw) =
           t.x_value <- val_x
           t.y_value <- val_y
           t.w_value <- val_w
           t.z_value <- t.f_z_from_xyw t.x_value t.y_value t.w_value
           ()
       member t.set_xzw (val_x : 'Tx) (val_z : 'Tz) (val_w : 'Tw) =
           t.x_value <- val_x
           t.z_value <- val_z
           t.w_value <- val_w
           t.y_value <- t.f_y_from_xzw t.x_value t.z_value t.w_value
           ()
       member t.set_yzw (val_y : 'Ty) (val_z : 'Tz) (val_w : 'Tw) =
           t.y_value <- val_y
           t.z_value <- val_z
           t.w_value <- val_w
           t.x_value <- t.f_x_from_yzw t.y_value t.z_value t.w_value
           ()
   end
2   Peyton      2021年5月29日 土 0:30
What do you do for a living? http://tuberating.online pof  Lewis G. Maharam is one of the world's most extensively credentialed and well-known sports health experts. Better known as Running Doc™, Maharam is author of Running Doc's Guide to Healthy Running and is past medical director of the NYC Marathon and Rock 'n' Roll Marathon series. He is medical director of the Leukemia & Lymphoma Society's Team in Training program. He is also past president of the New York Chapter of the American College of Sports Medicine. Learn more at runningdoc.com.
3   Carlton      2021年5月29日 土 0:30
How much notice do you have to give? http://tubereviews.online pof  Officials from some of the nine northeastern states in theRegional Greenhouse Gas Initiative (RGGI) - a carbon tradingprogram targeting power sector emissions - will attend some ofthe sessions and make the case that the initiative has a "plugand play" option for states to meet future federal rules.
4   Levi      2021年5月29日 土 0:30
We went to university together http://porntuberating.online lamalinks  So my focus went on what I ate, motivated by the fact that it would increase my odds of having a professional career as an athlete. The shift toward clean, plant-based eating allowed me to forge a seven-year profession as an Ironman triathlete out of average ability.
5   Ariel      2021年5月29日 土 0:38
How much does the job pay? http://tuberating.online femjoy  Emily remains one of our most versatile writers. This blond bombshell is as comfortable writing about sports and other latest happening in US. Among other prestigious establishments she has worked for, she has had a short stint at the Huffington post as a contributing writer.
6   August      2021年5月29日 土 0:38
I'd like to pay this in, please http://xnxxlist.online porntube  "I was very worried, I couldn't sleep the whole night because the sound of the wind was so loud and my building was shaking almost like there was an earthquake," Taipei resident Josephine Lin told AFP.
7   Norbert      2021年5月29日 土 0:38
Have you got any ? http://tuberating.online youjizz  One way of easing pressure would be to bring forward planes scheduled for later delivery, though superjumbo production is significantly less flexible than on smaller jets. Williams said Airbus would look at making "small advancements" if needed.
8   Rayford      2021年5月29日 土 0:56
Hold the line, please http://porntuberating.online hqporner  â€œI still think I’m a great cornerback,” Webster added before practice at Giants training camp. “I go out there and compete and work like the best. So yes, sir, you’re only as good as your last game, and that’s what people are going to talk about. I recognized that. But I still work the same way. Nothing fell off.”
9   Connie      2021年5月29日 土 0:56
A company car http://tubereviews.online xtube  â€œThe Hollywood names who advocate acceptance are the first to shut the door on a conservative,” observed Angie Meyer Olszewski, who has worked in publicity for both entertainment and political sectors. “But Republicans are finding their voice. They’ve had enough.”
10   Heyjew      2021年5月29日 土 0:56
I've got a full-time job http://xvideosrating.online pornmd  This comes from our ad serving technology and is used to track how many times you have seen a particular ad on our sites, so that you don't just see one advert but an even spread. This information is not used by us for any other type of audience recording or monitoring.
11   Judson      2021年5月29日 土 1:04
Get a job http://xnxxlist.online xvideos  The report said the policy had pushed up costs by "discriminating" against out-of-town outlets in favour of high street stores, which have had to increase their prices to make up for a loss of productivity caused by restrictions on the size of shops, their configuration and location. It proposed replacing Town Centre First with an Access First policy focusing on giving low income households access to social and retail hubs but not restricting where they were built.
12   Gabriel      2021年5月29日 土 1:04
Do you play any instruments? http://tubearchive.online keezmovies  Starting with California in 1996, 21 states have made the use of medical marijuana for ailing patients legal. Of those 21, 16 states have decriminalized those found to be holding small amounts marijuana, six of which were added in 2013.
13   Grace      2021年5月29日 土 1:04
I never went to university http://tubearchive.online trannytube  This is a type of cookie which is collected by Adobe Flash media player (it is also called a Local Shared Object) - a piece of software you may already have on your electronic device to help you watch online videos and listen to podcasts.
14   Christoper      2021年5月29日 土 2:45
Is it convenient to talk at the moment? http://tuberating.online maturetube  China's stance seems to be stiffened by Snowden'srevelations of widespread surveillance by the National SecurityAgency and his assertion that the agency hacked into criticalnetwork infrastructure at universities in China and Hong Kong.
15   Garret      2021年5月29日 土 2:45
Could I have , please? http://xvideosrating.online nudevista  In a July 12, 1973 conversation with chief of staff Al Haig, Nixon discusses future judicial nominations, insisting on finding "meanest right-wing&rdquo; nominees. He adds emphatically, &ldquo;No Jews. Is that clear? We've got enough Jews. Now if you find some Jew that I think is great, put him on there."
16   Lanny      2021年5月29日 土 4:55
real beauty page http://tuberating.online pof  Jinan, little known internationally, is famous in China for its many springs. At central Baotu Spring, which calls itself the "Best Spring in the World," wedding emcee Yu Xianpeng, a local resident and Communist Party member, said he's eagerly followed Bo's increasingly dramatic case since his police chief sought asylum at a U.S. consulate in February 2012.
17   Rikky      2021年5月29日 土 4:55
Where are you calling from? http://porntuberating.online livejasmin  Italian bonds braved growing political uncertainty afterItaly's top court upheld a jail sentence against former PremierSilvio Berlusconi that could throw the country's coalition intocrisis. {ID:nL6N0G30ZF]
18   Johnnie      2021年5月29日 土 4:55
Do you know what extension he's on? http://xnxxrating.online hentaihaven  He said: &#8220;I was just looking at the relationship with the kind of history that is repeated. And how can we navigate ourselves around it. It is just like the story of a man who is trying to rise and fall, and rise again and fall again. It was the second part of a trilogy on solitude, tragedy and memory.&#8221;
19   Sierra      2021年5月29日 土 5:01
I'd like to change some money http://tubearchive.online trannytube  Ashton, on her second trip to Egypt since Mursi's fall, met General Abdel Fattah al-Sisi, the head of the army and the man behind the overthrow of Egypt's first freely-elected president. She also held talks with deputy interim president and prominent liberal politician Mohamed ElBaradei and interim Foreign Minister Nabil Fahmy.
 1 2 3 4 5 ... 7
ヒント: ナノテクロボットの作り方
名前      編集用パスワード(省略可)    パスワードの記憶
数式 αβγ IPA http:// 画像 B I U
(添付ファイルは http://up.x0000.net/ にアップロードしてください)