サービス
サービスを探す
プロ人材を探す
仕事を探す
ブログを探す
Coqのような証明支援系ソフト制作を手伝って下さい
予算
見積り希望
納品希望日
ご相談
募集期限
募集終了
締切日 2020年8月1日
/
掲載日 2020年7月18日
掲載日 2020年7月18日
応募状況
応募人数
0
契約人数
0
閲覧数
38
用途・種類
ソフトウェア・業務システム開発
対応範囲
相談して決めたい
用意してあるもの
ー
開発言語
ー
募集内容
依頼の概要・目的・背景
数学の勉強、特にコンピュータの基礎理論の勉強をしています。
その勉強のいっかんとして証明支援系ソフトを実際に作りたいです。数学的要素とプログラム要素が必要ですが、自分にはプログラミング要素が足りないので、プログラミング要素について教えて頂きたいです。
添付ファイル
ー
参考URL
ー
求めるスキル
プログラミングのスキル、数学への感心
特記事項
継続依頼あり
品質重視
応募者一覧
応募はまだありません
募集内容についての質問
質問と回答の履歴
kimuyanウェポンラボ
3年以上前
Coqというのは処理系のひとつであり、証明支援系にかぎらず、ある処理系を一から構築するのは大変なコストと時間がかかる案件です、
ココナラで扱える見積もり金額を超えると思います。
あるいは、Coqのような既存の証明支援系を用いて、ある定理を証明してください、というご依頼でしょうか。
おきゃんぴ
3年以上前
そうでしたか。
あくまで一から作りたいです。ただ、証明支援ソフトの勉強のために作りたいので、一部の証明が出来ればいいです。
ということなのですが、やはり難しいのでしょうか？
募集終了
予算
見積り希望
