[prev in list] [next in list] [prev in thread] [next in thread] 

List:       ruby-talk
Subject:    =?utf-8?Q?[ANN]_Ruby?= =?utf-8?B?44Gn6KuW55CG5Z6L44OX44Ot44Kw44Op44Of44Oz?=
From:       Kazuki Tanaka <mail () tanakakazuki ! com>
Date:       2014-11-18 1:59:14
Message-ID: BLU177-W3355C1587827DEDC4F3D1CAB880 () phx ! gbl
[Download RAW message or body]

[Attachment #2 (text/plain)]

こんにちは.
皆さん如何お過ごしでしょうか.
RubyConfで盛り上がっている中、水を指すようでしたら申し訳ないのですが、
 論理型プログラミング言語HilbertをRubyで実装致しました.
HP: http://hilbert-lang.org/ja/Github: https://github.com/gogotanaka/Hilbert

この言語の特徴は仮定されているものが恒真（トートロジー） \
みである事、Hilbertに与えられる文字列は全て論理式が真である \
事の仮定である事、恒真（トートロジー）と恒偽（パラドック）は副作用をもたない事です.
 詳しくはこちらに記しました.
http://qiita.com/gogotanaka/items/97ae187156541c8eaa9d

もし良ければご覧になってみてく さい.
それでは失礼しました. アディオス.

田中--===============================Keio university mathematical sciences  \
                田中　和希　 Kazuki Tanaka
mail: mail@tanakakazuki.comHP: http://gogotanaka.me/Blog: \
http://blog.gogotanaka.me/Twitter: @gogo_tanakaFacebook: \
https://www.facebook.com/gogogogotanaka=============================== 		 	   		  


[Attachment #3 (text/html)]

<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div \
dir='ltr'><div><div>こんにちは.</div><div><br></div><div>皆さん如何お過ご \
しでしょうか.</div></div><div><br></div><div>RubyConfで盛り上がっている \
中、水を指すようでしたら申し訳ないのですが、</div><div><br></div \
><div>論理型プログラミング言語HilbertをRubyで実装致しました.</div><div><br></div><div>HP: \
> http://hilbert-lang.org/ja/</div><div>Github: \
> https://github.com/gogotanaka/Hilbert</div><div><br></div><div><br></div><div>この \
> 言語の特徴は仮定されているものが恒真（トートロジー）のみ \
> である事、</div><div>Hilbertに与えられる文字列は全て論理式が真 \
> である事の仮定である事、</div><div>恒真（トートロジー）と恒 \
> （パラドック）は副作用をもたない事です.</div><div><br></div><div>詳しくはこちらに記しました.</div><br><a \
> href="http://qiita.com/gogotanaka/items/97ae187156541c8eaa9d" \
> target="_blank">http://qiita.com/gogotanaka/items/97ae187156541c8eaa9d</a><div><br></div><div><br></div><div>もし良ければご覧になってみてく \
> さい.</div><div><br></div><div>それでは失礼しました.&nbsp;<span \
> style="font-size: 12pt;">アディオス.</span></div><div><br></div><div><br><font \
> color="#222222" face="arial, sans-serif" size="2"><span \
> style="background-color:rgb(255, 255, 255);">田中</span></font><br \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">--</span><br style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">==============================</span><wbr style="color:rgb(34, 34, \
> 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">=</span><br style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><font \
> color="#222222" face="arial, sans-serif" size="2"><span \
> style="background-color:rgb(255, 255, 255);">Keio \
> university&nbsp;</span>mathematical sciences</font><br style="color:rgb(34, 34, \
> 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">&nbsp; 田中　和希　 Kazuki Tanaka</span><div><font color="#222222" \
> face="arial, sans-serif" size="2"><br></font><div><div><font color="#222222" \
> face="arial, sans-serif" size="2">mail: \
> mail@tanakakazuki.com</font></div><div><div><font color="#222222" face="arial, \
> sans-serif" size="2">HP: http://gogotanaka.me/</font></div><div><font \
> color="#222222" face="arial, sans-serif" size="2">Blog: \
> http://blog.gogotanaka.me/</font></div><div><font color="#222222" face="arial, \
> sans-serif" size="2">Twitter: @gogo_tanaka</font></div><div><font color="#222222" \
> face="arial, sans-serif" size="2">Facebook: \
> https://www.facebook.com/gogogogotanaka</font></div></div><div><div><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">==============================</span><wbr style="color:rgb(34, 34, \
> 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, 255);"><span \
> style="color:rgb(34, 34, 34);font-family:arial, \
> sans-serif;font-size:12.7272720336914px;background-color:rgb(255, 255, \
> 255);">=</span></div></div></div></div></div> 		 	   		  </div></body>
</html>



[prev in list] [next in list] [prev in thread] [next in thread]

Configure | About | News | Add a list | Sponsored by KoreLogic