IgorErin

Обновление по проекту: NFS-Mamont

Так как количество заявок растет, а места в данном проекте ограничены, коллектив проекта NFS-Mamont предлагает всем заинтересованным конкурсантам решить следующее задание.

Решения в любой стадии готовности будут приняты к проверке до 6 июля включительно.

Формат решения: github репозиторий.

Задание: In-Memory файловая система на Rust

IgorErin

import numpy
from scipy import optimize

MU = 10
NCOUT = 10000
BETTA = 0.1
EPS = 10e-9

DEBUG = False

IgorErin

let rec leo x y is = conde [ 
  (x === zero) &&& (is === Bool.truo);
  (x =/= zero) &&& (y === zero) &&& (is === Bool.falso);
  Fresh.two (fun x' y' -> 
    (x === (succ x')) &&& (y === (succ y')) &&& (leo x' y' is));
]

let rec le_truo x y = conde [
  (x === o);
  Fresh.two (fun x' y' -> 

IgorErin

module type Measure = sig 
  type t

  val of_float : float -> t 
  val sum : t -> t -> t 

  val to_string : t -> string 
end

let (<|) f x = f x

IgorErin

import copy
MorseCode = {'Q':'--.-', 'E':'.', 'R':'.-.', 'W':'.--', 'T':'-',
             'Y':'-.--', 'U':'..-', 'I':'..',
             'O':'---', 'P':'.--.', 'A':'.-', 'S':'...',
             'D':'-..', 'F':'..-.', 'G':'--.', 'H':'....', 
             'J':'.---', 'K':'-.-', 'L':'-.-..', 
             'Z':'--..', 'X':'-..-', 'C':'-.-.', 'V':'...-',
             'B':'-...', 'N':'-.', 'M':'--', ' ':' '}
#------------------------------------------------------------------------------------------
def decode_from_morse(code):